diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2015-08-10 09:36:10 +0200 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-17 19:30:14 +0000 |
| commit | 9298b60d25da080b0c81682afe58d4a8d9e1971b (patch) | |
| tree | 8b6c0b65fd65cd50cc5d14b10ff049aaa6272a40 /test/regression | |
| parent | 8331998f8232db61e960863936ac27b36a147507 (diff) | |
| download | klee-9298b60d25da080b0c81682afe58d4a8d9e1971b.tar.gz | |
[Solver]Add support to dump STP qeries using
Use "-debug-dump-stp-queries" argument for KLEE/Kleaver to print out each STP query sent to the STP Solver. Queries have the format which `stp` frontend can understand.
Diffstat (limited to 'test/regression')
0 files changed, 0 insertions, 0 deletions