diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-03-26 16:33:23 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-05-01 21:23:45 +0200 |
| commit | 871fef8da228270f2d57fc76e4d93bb082f4d046 (patch) | |
| tree | 7eb08e9be3b343c100b5fc610f61c054485f8d2a /test/TestRunner.sh | |
| parent | 37321de9d86ff45049eec83a069a10d4836b06f0 (diff) | |
| download | klee-871fef8da228270f2d57fc76e4d93bb082f4d046.tar.gz | |
Ensured program reliably has 3 paths to be explored, and removed unnecessary options. Make klee_abort() call abort() in replay, and removed trivial test which cannot be easily integrated into the test suite.
Diffstat (limited to 'test/TestRunner.sh')
0 files changed, 0 insertions, 0 deletions