diff options
| author | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-03-30 19:57:43 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <cnx@loang.net> | 2024-03-05 17:20:20 +0900 |
| commit | ba084db1ab0307d96d7cae0fa087eb0c6d6f3679 (patch) | |
| tree | 6cd95161a353f667676662c88533a5fae978d789 /tools | |
| parent | 443992debf19fa09673ce4d493fc3de5e6beb536 (diff) | |
| download | klee-ba084db1ab0307d96d7cae0fa087eb0c6d6f3679.tar.gz | |
Receive instrumented revision number
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", |