From 512b9f16e1c7ef23c8adc25cb435517de6bf3e81 Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin.nowack@gmail.com>
Date: Sun, 9 Aug 2015 23:53:13 +0200
Subject: [Solver]Add simple option to dump queries

---
 include/klee/Solver.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'include')

diff --git a/include/klee/Solver.h b/include/klee/Solver.h
index 00e4c962..906309d2 100644
--- a/include/klee/Solver.h
+++ b/include/klee/Solver.h
@@ -42,6 +42,9 @@ namespace klee {
     Query negateExpr() const {
       return withExpr(Expr::createIsZero(expr));
     }
+
+    /// Dump query
+    void dump() const ;
   };
 
   class Solver {
-- 
cgit 1.4.1