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 a12c5603..6b02e6ac 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -772,6 +772,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", |