diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-03-18 13:31:30 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-01 11:36:09 +0100 |
| commit | 66e3b6b3dcbf38f5cb4bed7aba57e89ff296c468 (patch) | |
| tree | 21d24ad079a682ce995469bd774e1159ce57bc49 /lib/Solver/IncompleteSolver.cpp | |
| parent | 31e75fdf1e277bbf961287706b06eab8136c6cd0 (diff) | |
| download | klee-66e3b6b3dcbf38f5cb4bed7aba57e89ff296c468.tar.gz | |
[Z3] Add the `-debug-z3-dump-queries=<path>` command line option. This
is useful for getting access to the constraints being stored in the Z3 solver in the SMT-LIBv2.5 format.
Diffstat (limited to 'lib/Solver/IncompleteSolver.cpp')
0 files changed, 0 insertions, 0 deletions