diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-08-11 11:28:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-11 11:28:19 +0100 |
| commit | d19500eb93083c8cc6bb72bcb54414015830cacb (patch) | |
| tree | 2c577f7d9029e4512b7444e0dbc24ebe0f94a93f /CMakeLists.txt | |
| parent | e0b62ce479f21660cd1200f3ac2567d358ff05d3 (diff) | |
| parent | 4083373b5ae3d8a22b3e5672f95075477c8ae328 (diff) | |
| download | klee-d19500eb93083c8cc6bb72bcb54414015830cacb.tar.gz | |
Merge pull request #746 from ccadar/posix
Fixed a bug causing KLEE to generate files with no permission bits, and added a basic test for klee-replay
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions