diff options
Diffstat (limited to 'tools/klee-replay')
| -rw-r--r-- | tools/klee-replay/klee-replay.c | 4 |
1 files changed, 4 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) { |