diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-26 14:30:00 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-27 10:18:01 +0100 |
| commit | 0334b3bda8191d56a18efdc2d2483f95f7fc1825 (patch) | |
| tree | 33d3648ca9ab6432aa7e2342fb12c929451a1724 /scripts/build/dependencies-ubuntu.sh | |
| parent | 4efd7f6b443f187f5a844227339383ce5593e865 (diff) | |
| download | klee-0334b3bda8191d56a18efdc2d2483f95f7fc1825.tar.gz | |
Revert lit to 0.6.0 version, as 0.7.0 misbehaves
Diffstat (limited to 'scripts/build/dependencies-ubuntu.sh')
| -rwxr-xr-x | scripts/build/dependencies-ubuntu.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/dependencies-ubuntu.sh b/scripts/build/dependencies-ubuntu.sh index 52e161fd..d5d4a36a 100755 --- a/scripts/build/dependencies-ubuntu.sh +++ b/scripts/build/dependencies-ubuntu.sh @@ -40,4 +40,4 @@ apt -y --no-install-recommends install \ apt clean # Install lit for testing -pip3 install wheel && pip3 install lit +pip3 install wheel && pip3 install lit==0.6.0 |