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-stats | |
| 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-stats')
0 files changed, 0 insertions, 0 deletions