diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 10:45:07 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 10:45:07 +0100 |
| commit | b496ea27957133f0294aae89b0906660c055382b (patch) | |
| tree | dcbfe1f26f722abdc5e763a50d9dbd9d516af22c /lib/Expr | |
| parent | c06cc05adc7eac45ff16d7e488576d479811d7a8 (diff) | |
| download | klee-b496ea27957133f0294aae89b0906660c055382b.tar.gz | |
[CMake] Fix bug where we would inherit LLVM's `-DNDEBUG` define
when LLVM was built without assertions. This prevented `ENABLE_KLEE_ASSERTS` from working correctly. Reported by @MartinNowack .
Diffstat (limited to 'lib/Expr')
0 files changed, 0 insertions, 0 deletions