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 /lib/Solver/ConstructSolverChain.cpp | |
| parent | fe97779a06ab7499eb3d4c5c6360778e6b6d337b (diff) | |
| download | klee-3d0033f099c907bcd5d4d2c2a7562037071ec2bf.tar.gz | |
Fix memory leak in crosscheck core solver mechanism
Diffstat (limited to 'lib/Solver/ConstructSolverChain.cpp')
| -rw-r--r-- | lib/Solver/ConstructSolverChain.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Solver/ConstructSolverChain.cpp b/lib/Solver/ConstructSolverChain.cpp index 3dab0361..999edda4 100644 --- a/lib/Solver/ConstructSolverChain.cpp +++ b/lib/Solver/ConstructSolverChain.cpp @@ -71,7 +71,7 @@ Solver *constructSolverChain(Solver *coreSolver, } if (DebugCrossCheckCoreSolverWith != NO_SOLVER) { Solver *oracleSolver = createCoreSolver(DebugCrossCheckCoreSolverWith); - solver = createValidatingSolver(/*s=*/solver, /*oracle=*/oracleSolver); + solver = createValidatingSolver(solver, oracleSolver, true); } return solver; |