diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-08-09 18:28:31 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-08-09 18:47:56 +0100 |
| commit | 01346d9e7c4199a704c26df2a86f7d4ee26fbd2b (patch) | |
| tree | a51e4189faf5d64af34336aa3956b2e822a4c10b /test/lit.cfg | |
| parent | 64c67386a3c5eb4baa23847d737fd812312117f9 (diff) | |
| download | klee-01346d9e7c4199a704c26df2a86f7d4ee26fbd2b.tar.gz | |
Fixed a bug causing KLEE to generate files with no permissions bits set. This was introduced when we added the --readable-posix-inputs option.
Diffstat (limited to 'test/lit.cfg')
0 files changed, 0 insertions, 0 deletions