diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-03-23 12:51:45 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-03-23 15:12:20 +0000 |
| commit | a40818cab8e1b2315ac40d2c2cb125fc422e8ed7 (patch) | |
| tree | daa98087230ab21c66eba539c168732e455eeaf8 /.travis | |
| parent | bbed13271ae0efced319981ee12fc33540069adb (diff) | |
| download | klee-a40818cab8e1b2315ac40d2c2cb125fc422e8ed7.tar.gz | |
Add test case to check that on early exits stats are flushed
Diffstat (limited to '.travis')
0 files changed, 0 insertions, 0 deletions