diff options
| author | Eric Rizzi <eric.rizzi@gmail.com> | 2015-07-06 12:10:17 -0400 |
|---|---|---|
| committer | Eric Rizzi <eric.rizzi@gmail.com> | 2015-07-06 12:10:17 -0400 |
| commit | fbc91551abcc3806a08bb30462bb621ad6ea2863 (patch) | |
| tree | 9005402efcc165640cd68032c6826a10c73b6bee /runtime/POSIX | |
| parent | 637e884bb0ad4ead31d61583f47db475f5ec1ab7 (diff) | |
| download | klee-fbc91551abcc3806a08bb30462bb621ad6ea2863.tar.gz | |
Make the super-set check in CexCachingSolver default off
The super-set check in the CexCachingSolver takes MUCH longer than the sub-set check. Upon closer inspection, the super-set check gets slower and slower as more counterexamples fill the UBTree. Pretty quickly, the cost of the super-set check becomes larger than the time required to simply bypass it and go to the Solver.
Diffstat (limited to 'runtime/POSIX')
0 files changed, 0 insertions, 0 deletions