diff options
| author | MartinNowack <martin.nowack@gmail.com> | 2017-07-25 15:51:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-25 15:51:46 +0200 |
| commit | 3b4b79215b124cc7072e81bc79efdb76927e7100 (patch) | |
| tree | 57b5659661145d6987774d0a7ef4e66993aacc60 /.travis/stp.sh | |
| parent | 810f7ebd99a06c46d632b1289ef2a7a3335d48f4 (diff) | |
| parent | df899b02e279ed65dc94f55d4b671560f667497b (diff) | |
| download | klee-3b4b79215b124cc7072e81bc79efdb76927e7100.tar.gz | |
Merge pull request #726 from delcypher/cmake_fix_llvm_built_with_no_asserts
[CMake] Handle building against LLVM built without assertions
Diffstat (limited to '.travis/stp.sh')
0 files changed, 0 insertions, 0 deletions