diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-09 11:07:48 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-08-14 16:26:48 +0100 |
| commit | 49b5a873008ac96c927b254ee746dbd96f2f1a9d (patch) | |
| tree | b79f48f4fb3b20a3ce45bb30c4ad8d391ef69037 /tools/klee-replay/klee-replay.h | |
| parent | 64508909bcbd52d6a06ec0f299b3752368d10e31 (diff) | |
| download | klee-49b5a873008ac96c927b254ee746dbd96f2f1a9d.tar.gz | |
Changed klee-replay to create a temporary directory with a random name in /tmp instead of using a fixed name in the current directory.
Diffstat (limited to 'tools/klee-replay/klee-replay.h')
| -rw-r--r-- | tools/klee-replay/klee-replay.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/klee-replay/klee-replay.h b/tools/klee-replay/klee-replay.h index b4d0f248..8dc3b872 100644 --- a/tools/klee-replay/klee-replay.h +++ b/tools/klee-replay/klee-replay.h @@ -18,7 +18,11 @@ #include "../../runtime/POSIX/fd.h" #include <sys/time.h> +// temporary directory used for replay +extern char replay_dir[]; + void replay_create_files(exe_file_system_t *exe_fs); +void replay_delete_files(); void process_status(int status, time_t elapsed, @@ -26,4 +30,3 @@ void process_status(int status, __attribute__((noreturn)); #endif - |