diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 15:27:59 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-28 08:19:52 +0100 |
| commit | 5ebe8a62961b7779658d36b0eff16b1a12030471 (patch) | |
| tree | 1fc23187b1aa726dfef56afe3061d407aad098e6 /test/regression/2017-03-23-early-exit-log-stats.c | |
| parent | 8fe7668af7cbd28e1342275430322ebf2ea06675 (diff) | |
| download | klee-5ebe8a62961b7779658d36b0eff16b1a12030471.tar.gz | |
[CMake] Change the default value of `ENABLE_SOLVER_METASMT` to be set
dynamically based on whether MetaSMT is available. Previously the default was always off.
Diffstat (limited to 'test/regression/2017-03-23-early-exit-log-stats.c')
0 files changed, 0 insertions, 0 deletions