diff options
| author | Eric Rizzi <eric.rizzi@gmail.com> | 2015-02-16 12:17:00 -0500 |
|---|---|---|
| committer | Eric Rizzi <eric.rizzi@gmail.com> | 2015-04-01 14:22:03 -0400 |
| commit | be37ac9605d380b7f36717338c2c520f375798c8 (patch) | |
| tree | 1d9657bd5cb97c27bc2ed730d89c966cfd7cb0b5 /TODO.txt | |
| parent | 76b6ae9a16dcb643456a98a845dc8d44df3aa049 (diff) | |
| download | klee-be37ac9605d380b7f36717338c2c520f375798c8.tar.gz | |
Added the function IndependentSolver::createdPointEvaluatesToTrue
This function should be used solely in assertion statements and is intended as a sanity check to make sure that the solution constructed by IndependentSolver::getInitialValues() produces and answer that in fact satisfies the the query.
Diffstat (limited to 'TODO.txt')
0 files changed, 0 insertions, 0 deletions