diff options
Diffstat (limited to 'unittests/Solver/SolverTest.cpp')
-rw-r--r-- | unittests/Solver/SolverTest.cpp | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/unittests/Solver/SolverTest.cpp b/unittests/Solver/SolverTest.cpp index d5d207a0..2137602f 100644 --- a/unittests/Solver/SolverTest.cpp +++ b/unittests/Solver/SolverTest.cpp @@ -131,11 +131,11 @@ void testOpcode(Solver &solver, bool tryBool = true, bool tryZero = true, } TEST(SolverTest, Evaluation) { - Solver *solver = klee::createCoreSolver(CoreSolverToUse); + auto solver = klee::createCoreSolver(CoreSolverToUse); - solver = createCexCachingSolver(solver); - solver = createCachingSolver(solver); - solver = createIndependentSolver(solver); + solver = createCexCachingSolver(std::move(solver)); + solver = createCachingSolver(std::move(solver)); + solver = createIndependentSolver(std::move(solver)); testOpcode<SelectExpr>(*solver); testOpcode<ZExtExpr>(*solver); @@ -165,8 +165,6 @@ TEST(SolverTest, Evaluation) { testOpcode<SleExpr>(*solver); testOpcode<SgtExpr>(*solver); testOpcode<SgeExpr>(*solver); - - delete solver; } } |