diff options
| author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-10-16 16:30:34 +0100 |
|---|---|---|
| committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-10-16 16:30:34 +0100 |
| commit | c68ade2b7990e696c99cf26e6082de3a95ae29da (patch) | |
| tree | 31d52bed836c9b2c254d63a08600e32e4dbc9f62 /tools/kleaver/Makefile | |
| parent | 7b46fc6cc9d9104a226d28f286b19fffc5a1e029 (diff) | |
| download | klee-c68ade2b7990e696c99cf26e6082de3a95ae29da.tar.gz | |
tests in ./test/Feature/ExprLogging.c reverted back to not explicitly differentiate on whether metaSMT is used or not
Diffstat (limited to 'tools/kleaver/Makefile')
0 files changed, 0 insertions, 0 deletions