diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee-replay/klee-replay.c | 4 | ||||
| -rw-r--r-- | tools/klee/main.cpp | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/tools/klee-replay/klee-replay.c b/tools/klee-replay/klee-replay.c index 82c638c2..58379e38 100644 --- a/tools/klee-replay/klee-replay.c +++ b/tools/klee-replay/klee-replay.c @@ -514,6 +514,10 @@ void klee_mark_global(void *object) { ; } +void klee_mark_patch(uint64_t patch_number) { + ; +} + /*** HELPER FUNCTIONS ***/ static void __emit_error(const char *msg) { diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 18e67fe6..3c6c81ca 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -771,6 +771,7 @@ static const char *modelledExternals[] = { "klee_is_symbolic", "klee_make_symbolic", "klee_mark_global", + "klee_mark_patch", "klee_open_merge", "klee_close_merge", "klee_prefer_cex", |