Add klee::createDummySolver, the dummy solver always fails.

 - Useful as an alternative backend to STP for testing.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73048 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 3 insertions, 0 deletions

diff --git a/include/klee/Solver.h b/include/klee/Solver.h
index b8324a9f..f1e18f12 100644
--- a/include/klee/Solver.h
+++ b/include/klee/Solver.h
@@ -213,6 +213,9 @@ namespace klee {
   /// after writing them to the given path in .pc format.
   Solver *createPCLoggingSolver(Solver *s, std::string path);
 
+  /// createDummySolver - Create a dummy solver implementation which always
+  /// fails.
+  Solver *createDummySolver();
 }
 
 #endif