diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-09-17 07:53:40 -0700 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-09-17 07:53:40 -0700 |
| commit | ba2f5b961877f7cdb98a98600e4db591078c5f12 (patch) | |
| tree | 71c718bde796bfc402b34dc2622115586f1e0083 /lib/Expr/Constraints.cpp | |
| parent | 79aae1cd6ded57ffb7fb28f151651318a6dfb3f2 (diff) | |
| parent | 40f35e8217e2d77205c013cfdd85fd5198c51b93 (diff) | |
| download | klee-ba2f5b961877f7cdb98a98600e4db591078c5f12.tar.gz | |
Merge pull request #21 from delcypher/fix_query_logging
Fix queries not being logged correctly if an assertion failure is hit.
Diffstat (limited to 'lib/Expr/Constraints.cpp')
0 files changed, 0 insertions, 0 deletions