about summary refs log tree commit diff homepage
path: root/runtime/Runtest
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2018-03-26 16:33:23 +0100
committerMartinNowack <martin.nowack@gmail.com>2018-05-01 21:23:45 +0200
commit871fef8da228270f2d57fc76e4d93bb082f4d046 (patch)
tree7eb08e9be3b343c100b5fc610f61c054485f8d2a /runtime/Runtest
parent37321de9d86ff45049eec83a069a10d4836b06f0 (diff)
downloadklee-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.c2
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. */