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