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 /runtime/Runtest | |
| 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 'runtime/Runtest')
| -rw-r--r-- | runtime/Runtest/intrinsics.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c index 1e87d947..ab441afc 100644 --- a/runtime/Runtest/intrinsics.c +++ b/runtime/Runtest/intrinsics.c @@ -175,7 +175,7 @@ int klee_range(int begin, int end, const char* name) { void klee_prefer_cex(void *object, uintptr_t condition) { } void klee_abort() { - exit(1); + abort(); } /* not sure we should even define. is for debugging. */ |