diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2022-06-30 03:59:57 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-07-04 20:56:15 +0100 |
| commit | 3d0033f099c907bcd5d4d2c2a7562037071ec2bf (patch) | |
| tree | 420754842955cd8bb7404c2b685e14838bb84030 /include | |
| parent | fe97779a06ab7499eb3d4c5c6360778e6b6d337b (diff) | |
| download | klee-3d0033f099c907bcd5d4d2c2a7562037071ec2bf.tar.gz | |
Fix memory leak in crosscheck core solver mechanism
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 |