diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2020-01-31 13:32:03 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-01 20:29:18 +0000 |
| commit | aedc84f95415cdeb384da85c1fd271564832870d (patch) | |
| tree | b3e120e9614b112c9949e8a760571e34d630f5ce /test/CMakeLists.txt | |
| parent | 50d6e9107f9be104d2e1ca43e65c580d6430f555 (diff) | |
| download | klee-aedc84f95415cdeb384da85c1fd271564832870d.tar.gz | |
[klee-stats] Check if stats file exist before trying to open it
Providing a list of directories might sometimes not contain the stats file. Check its existence before trying to access it.
Diffstat (limited to 'test/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions