diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-09 08:06:39 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-09 08:06:39 +0100 |
| commit | ad658135be0bf2f71ce2067b1bd834659ca3ca50 (patch) | |
| tree | d09204e0c7f3d9336241a732dc7aba86bf5c2b0b /.travis/stp.sh | |
| parent | b41cf33b6b726fd97e502c5c4818f5feeea0284b (diff) | |
| download | klee-ad658135be0bf2f71ce2067b1bd834659ca3ca50.tar.gz | |
Switch to using STP's fork of minisat for TravisCI. It contains fixes
needed by Clang.
Diffstat (limited to '.travis/stp.sh')
| -rwxr-xr-x | .travis/stp.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis/stp.sh b/.travis/stp.sh index 1c8fdb48..89d89909 100755 --- a/.travis/stp.sh +++ b/.travis/stp.sh @@ -7,7 +7,7 @@ STP_LOG="$(pwd)/stp-build.log" if [ "${STP_VERSION}" == "UPSTREAM" ]; then # Build minisat - git clone https://github.com/niklasso/minisat + git clone https://github.com/stp/minisat cd minisat mkdir build cd build |