diff options
Diffstat (limited to 'runtime/Runtest/intrinsics.c')
| -rw-r--r-- | runtime/Runtest/intrinsics.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/runtime/Runtest/intrinsics.c b/runtime/Runtest/intrinsics.c index cdc8c9d6..f82bd554 100644 --- a/runtime/Runtest/intrinsics.c +++ b/runtime/Runtest/intrinsics.c @@ -146,6 +146,10 @@ uintptr_t klee_choose(uintptr_t n) { return x; } +unsigned klee_is_replay() { + return 1; +} + void klee_assume(uintptr_t x) { if (!x) { report_internal_error("invalid klee_assume"); |