diff options
| author | lyxia <lysxia@gmail.com> | 2018-03-25 10:18:39 -0400 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-05-01 21:23:45 +0200 |
| commit | 37321de9d86ff45049eec83a069a10d4836b06f0 (patch) | |
| tree | 749395a5ec1d94f6a5d126c22627582664514646 /runtime/Runtest | |
| parent | 76e4240f6e17ab1f17200c603cf827b2bb28458d (diff) | |
| download | klee-37321de9d86ff45049eec83a069a10d4836b06f0.tar.gz | |
Implement klee_prefer_cex() and klee_abort() in Runtest and added corresponding tests
Diffstat (limited to 'runtime/Runtest')
| -rw-r--r-- | runtime/Runtest/intrinsics.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c index 4d785ee2..1e87d947 100644 --- a/runtime/Runtest/intrinsics.c +++ b/runtime/Runtest/intrinsics.c @@ -172,6 +172,12 @@ int klee_range(int begin, int end, const char* name) { return x; } +void klee_prefer_cex(void *object, uintptr_t condition) { } + +void klee_abort() { + exit(1); +} + /* not sure we should even define. is for debugging. */ void klee_print_expr(const char *msg, ...) { } |