diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-05-30 12:41:54 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-06-04 14:27:47 +0100 |
| commit | 3ef59a449c36c38fefe18693a4a074fcaf77aad7 (patch) | |
| tree | 082ebd51156ae736a43e7f045b877dbaf8583dde | |
| parent | 9b8a54bb3fdb6120c8937a10d9772e1d1dd861e4 (diff) | |
| download | klee-3ef59a449c36c38fefe18693a4a074fcaf77aad7.tar.gz | |
Fixed incorrect comment in Travis file, we now use STP 2.3.3
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 6d0efdb0..e731af67 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,7 +14,7 @@ env: # Check a subset of the matrix of: # LLVM : {3.8, 3.9, 4.0, 5.0, 6.0, 7} # SOLVERS : {Z3, STP, STP:Z3, metaSMT} - # STP_VERSION : {2.1.2, master} + # STP_VERSION : {2.3.3, master} # METASMT_VERSION : {v4.rc1} # METASMT_DEFAULT : {BTOR, CVC4, STP, YICES2, Z3} # METASMT_BOOST_VERSION : {x.y.z} // e.g. 1.60.0, libboost-dev will be used if unspecified |