diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2013-10-30 22:31:34 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2013-11-05 16:23:42 +0000 |
| commit | abf3863fa49b8300202ae3a96a68418aa03d496e (patch) | |
| tree | cd71c0f134ba2a9758a6f31839548171edd3a294 /autoconf/AutoRegen.sh | |
| parent | 4121e451dc7172c27f9b8cf3e4df3038bda7bb99 (diff) | |
| download | klee-abf3863fa49b8300202ae3a96a68418aa03d496e.tar.gz | |
Fix arbitrary path limits and improved error handling (exit
even if not built with asserts).
Diffstat (limited to 'autoconf/AutoRegen.sh')
0 files changed, 0 insertions, 0 deletions