diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-05-24 18:37:50 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-06-01 11:36:09 +0100 |
| commit | 2e12c5326edde78b1344cc9df1a51db902e41bd5 (patch) | |
| tree | e770264dda477ee91c354290c8a7e244e745155d /cmake | |
| parent | 2f7878e424dd17b931e56fe179f08a9289211c36 (diff) | |
| download | klee-2e12c5326edde78b1344cc9df1a51db902e41bd5.tar.gz | |
[Z3] In `getConstraintLog()` use a separate builder from that of the
solver. This is to avoid tampering with the cache of the builder the solver is using.
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions