diff options
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. */ |