diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-07-31 18:11:54 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-31 18:11:54 +0100 |
| commit | 21749dee2b14b56d4b2d0330046a9007552d577f (patch) | |
| tree | 39758f99f65880ead77655e66171113208443d80 /.gitignore | |
| parent | 66adc6374cc9b43db2beccec9ae0a547dc411eae (diff) | |
| parent | 2cdbb892e93c3a6556fc4eb989ccd7cab8bfdb63 (diff) | |
| download | klee-21749dee2b14b56d4b2d0330046a9007552d577f.tar.gz | |
Merge pull request #422 from ccadar/div-zero-test
Added test case exposing division by zero failure reported by @kren1 and made division total in STP to fix it.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions