diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Solver/Solver.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/Solver/Solver.h b/include/klee/Solver/Solver.h index 263f1626..a2256028 100644 --- a/include/klee/Solver/Solver.h +++ b/include/klee/Solver/Solver.h @@ -221,7 +221,7 @@ namespace klee { /// /// \param s - The primary underlying solver to use. /// \param oracle - The solver to check query results against. - Solver *createValidatingSolver(Solver *s, Solver *oracle); + Solver *createValidatingSolver(Solver *s, Solver *oracle, bool ownsOracle = false); /// createAssignmentValidatingSolver - Create a solver that when requested /// for an assignment will check that the computed assignment satisfies |