diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 10:57:40 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 12:29:49 +0100 |
| commit | df899b02e279ed65dc94f55d4b671560f667497b (patch) | |
| tree | cabd16a2853e32ceaa9c0ef4d2aeab283f00fe28 /lib/Solver/MetaSMTBuilder.h | |
| parent | b496ea27957133f0294aae89b0906660c055382b (diff) | |
| download | klee-df899b02e279ed65dc94f55d4b671560f667497b.tar.gz | |
[CMake] Emit warning when mixing assert and non assert builds.
This could lead to lots of problems. If we discover that these configurations don't work at all we should make this an error.
Diffstat (limited to 'lib/Solver/MetaSMTBuilder.h')
0 files changed, 0 insertions, 0 deletions