diff options
| author | Paul <paulmar@users.noreply.github.com> | 2013-10-29 07:02:39 -0700 |
|---|---|---|
| committer | Paul <paulmar@users.noreply.github.com> | 2013-10-29 07:02:39 -0700 |
| commit | b2070cfe978396aad21f22c8aae4910d45295bee (patch) | |
| tree | 269288c7db4a344430da249e3b19e4b87b8493d4 /test/CXX | |
| parent | 99d864996eb7768f55d210cb7c286f316c5a8187 (diff) | |
| parent | 4b477f8108a2a92012ff138725f6c6f26ccb23e5 (diff) | |
| download | klee-b2070cfe978396aad21f22c8aae4910d45295bee.tar.gz | |
Merge pull request #26 from delcypher/fix_divide_by_zero
Fixed bug where divide by zero bugs would only be detected once in a program
Diffstat (limited to 'test/CXX')
0 files changed, 0 insertions, 0 deletions