diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-10-03 11:23:23 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-10-03 11:36:37 +0100 |
| commit | 32f65623a0ef117b663fa6ae1a0a93d5f525ee75 (patch) | |
| tree | f95895ad345d0259fdf5965b00727a1989e862a9 /lib/Core/ExecutorTimerInfo.h | |
| parent | 91f5fffbb423f669603f29c323ec635d263f666a (diff) | |
| download | klee-32f65623a0ef117b663fa6ae1a0a93d5f525ee75.tar.gz | |
[CMake] Fix initialisation order of `KLEE_COMPONENT_*` and
`KLEE_SOLVER_LIBRARIES` variables. The code to add `NDEBUG` to `KLEE_COMPONENT_CXX_DEFINES` did so before initialisation and would be silently overwritten.
Diffstat (limited to 'lib/Core/ExecutorTimerInfo.h')
0 files changed, 0 insertions, 0 deletions