Add dump function for Assignment

klee · Dec 17, 2015 · c7e5ed3 · c7e5ed3
1 parent 512b9f1
commit c7e5ed3
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/include/klee/util/Assignment.h b/include/klee/util/Assignment.h
@@ -49,6 +49,15 @@ namespace klee {
 
     template<typename InputIterator>
     bool satisfies(InputIterator begin, InputIterator end);
+
+    void dump() {
+      for (bindings_ty::iterator i = bindings.begin(), e = bindings.end(); i != e; ++i) {
+        llvm::errs() << (*i).first->name << "\n[";
+        for (int j = 0, k =(*i).second.size(); j<k; ++j )
+          llvm::errs() << (int)(*i).second[j] << ",";
+        llvm::errs() << "]\n";
+      }
+    }
   };
 
   class AssignmentEvaluator : public ExprEvaluator {