diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-07-28 14:32:33 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-08-01 14:33:05 +0100 |
| commit | a4ed54c2b8228a30785c11d7542427a1bd1f7292 (patch) | |
| tree | 71df7bc60fb9ec30b1be1cc58c36988f958fcf13 /include | |
| parent | 977e032add0e29683bc4edc8c03aef9a81fb6d6a (diff) | |
| download | klee-a4ed54c2b8228a30785c11d7542427a1bd1f7292.tar.gz | |
Fixed test case counter: Previously the number of test cases generated by KLEE was always incremented, even if a symbolic solution was not found.
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions