diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-05-27 22:52:12 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-05-27 22:52:12 +0100 |
| commit | 2f8fdc5cfb979b4a301b80b2a2323ab1f8373152 (patch) | |
| tree | d3f6314c6c13bd7fb84062324e41e97f00d6151e /test/Runtime | |
| parent | 4422e96380db1ab6b05251f9e0fdc20bc794d4a7 (diff) | |
| parent | ae57319086f0b99b459fa6a8a0bfde5bcf115e19 (diff) | |
| download | klee-2f8fdc5cfb979b4a301b80b2a2323ab1f8373152.tar.gz | |
Merge pull request #396 from andreamattavelli/fix_kleaver_parser
Fixed bug #375 in Kleaver's parser and added --clear-array-decls-after-query option to Kleaver.
Diffstat (limited to 'test/Runtime')
0 files changed, 0 insertions, 0 deletions