diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2017-04-11 13:45:14 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-05-02 11:41:18 +0100 |
| commit | 3eef6fd52718980c5a7e6f217050ed16acbb5fa3 (patch) | |
| tree | 3fe9e57c7cac80b06ae3258da1ab6c523347e66a /include | |
| parent | af9b2eee77cc5ac79ff647a0e3fa51f464702e31 (diff) | |
| download | klee-3eef6fd52718980c5a7e6f217050ed16acbb5fa3.tar.gz | |
[travis] add environment variable METASMT_BOOST_VERSION to control the boost version used by metaSMT and test it with the combination LLVM-2.9 + metaSMT
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions