diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-15 13:48:02 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-15 22:53:39 +0000 |
| commit | 4756c66f48bc67f4f845ba1be6010e89dc34974e (patch) | |
| tree | 44376454155db212868aa7f77891ebc09bbb307c /runtime/POSIX/fd_64.c | |
| parent | c1e7c3a2c53ac80eb07c1359b40151a440b41849 (diff) | |
| download | klee-4756c66f48bc67f4f845ba1be6010e89dc34974e.tar.gz | |
Placed --max-time in the termination category
Diffstat (limited to 'runtime/POSIX/fd_64.c')
0 files changed, 0 insertions, 0 deletions