From 3d0033f099c907bcd5d4d2c2a7562037071ec2bf Mon Sep 17 00:00:00 2001 From: Daniel Schemmel Date: Thu, 30 Jun 2022 03:59:57 +0100 Subject: Fix memory leak in crosscheck core solver mechanism --- include/klee/Solver/Solver.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'include') 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 -- cgit 1.4.1