From 4fa061a181f05c6c06de0185bee7f322b5ef0db9 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 28 May 2009 05:29:24 +0000 Subject: Small changes to silence some gcc warnings. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72518 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Solver.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'include') diff --git a/include/klee/Solver.h b/include/klee/Solver.h index 2d4fa044..a053050d 100644 --- a/include/klee/Solver.h +++ b/include/klee/Solver.h @@ -65,7 +65,7 @@ namespace klee { public: Solver(SolverImpl *_impl) : impl(_impl) {}; - ~Solver(); + virtual ~Solver(); /// evaluate - Determine the full validity of an expression in particular /// state. @@ -158,6 +158,8 @@ namespace klee { /// \param useForkedSTP - Whether STP should be run in a separate process /// (required for using timeouts). STPSolver(bool useForkedSTP); + + /// getConstraintLog - Return the constraint log for the given state in CVC /// format. -- cgit 1.4.1