diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-05-24 18:25:08 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-01 11:36:09 +0100 |
| commit | 2f7878e424dd17b931e56fe179f08a9289211c36 (patch) | |
| tree | 6b89c957b9f0b7daf6bf734370df6db49dbcd465 /runtime/POSIX/misc.c | |
| parent | 1311a933232642299fa3593d9f7766e26ae66d3b (diff) | |
| download | klee-2f7878e424dd17b931e56fe179f08a9289211c36.tar.gz | |
[Z3] Implement API logging.
Add `-debug-z3-log-api-interaction` option to allow Z3 API calls to be logged to a file. The files logged by this option can be replayed by the `z3` binary (using its `-log` option). This is incredibly useful because it allows to exactly replay Z3's behaviour outside of KLEE.
Diffstat (limited to 'runtime/POSIX/misc.c')
0 files changed, 0 insertions, 0 deletions