diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-12-02 13:54:35 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-12-02 18:39:04 +0000 |
| commit | aaf6ec091c70fb18ad8de621509289a2114e8786 (patch) | |
| tree | 65d8df1887c49e3d58075d2b1b56fdaa9e4f8b00 /lib/Solver/MetaSMTBuilder.h | |
| parent | 03c58b5c78206e17164c4c9ef35ab133de63e705 (diff) | |
| download | klee-aaf6ec091c70fb18ad8de621509289a2114e8786.tar.gz | |
Add a comment explaining why the query expr is being negated.
Diffstat (limited to 'lib/Solver/MetaSMTBuilder.h')
0 files changed, 0 insertions, 0 deletions