From c7e5ed32a3cb869d63fbb3f98b55035cbc4bbcf7 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Sun, 9 Aug 2015 23:44:43 +0200 Subject: Add dump function for Assignment --- include/klee/util/Assignment.h | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/include/klee/util/Assignment.h b/include/klee/util/Assignment.h index 6fee5cb1..e7478d33 100644 --- a/include/klee/util/Assignment.h +++ b/include/klee/util/Assignment.h @@ -49,6 +49,15 @@ namespace klee { template 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