diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-25 14:59:31 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-07-28 08:19:52 +0100 |
| commit | 0c964b4792d2d575ef1a3032589943412df5923c (patch) | |
| tree | bc8b1f70cc706fa543dcc62b98145c10341d8021 /lib/Solver/STPSolver.cpp | |
| parent | b46f8186e60a18ec81e2f03783482c76ac234880 (diff) | |
| download | klee-0c964b4792d2d575ef1a3032589943412df5923c.tar.gz | |
[CMake] Refactor STP detection and change the default value of
`ENABLE_SOLVER_STP` to be set dynamically based on whether STP is available. Previously the default was always off.
Diffstat (limited to 'lib/Solver/STPSolver.cpp')
0 files changed, 0 insertions, 0 deletions