diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/util/Assignment.h | 9 |
1 files changed, 9 insertions, 0 deletions
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<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 { |