diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-08-13 20:47:27 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-08-14 16:26:48 +0100 |
| commit | 23767d2dba13dc1dd0022f77577f2adddf38279a (patch) | |
| tree | 75bf2a25ed4795fba0f6eb4a4b97c74beec7eb70 /lib | |
| parent | dc414fde33f3ec22a6ae3cf29cfc6bc4a9ddae1a (diff) | |
| download | klee-23767d2dba13dc1dd0022f77577f2adddf38279a.tar.gz | |
Delete functions delete_file() and delete_dir() which are not needed now that klee-replay creates a temporary directory for replay
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions