diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-14 14:04:24 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-15 00:17:10 +0100 |
| commit | 9dc94bf1f28eb64b2c02172c47b175c75757699f (patch) | |
| tree | eaa54701e5063d07ac8bb888ac1f684f40ef4df6 /scripts | |
| parent | 0aa44d4f61032836744d7a20f219af4463e99a23 (diff) | |
| download | klee-9dc94bf1f28eb64b2c02172c47b175c75757699f.tar.gz | |
Fix when we decide to "not exit on command error". We were doing this
too late so if the unittests failed the lit tests would not run.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions