Merge pull request diffblue#1591 from diffblue/print_assignment

kroening · web-flow · commit e707be3fa6f6 · 2017-11-19T21:19:14.000Z
boolbvt::print_assignment should call the print_assignment of the base class
diff --git a/src/solvers/flattening/boolbv.cpp b/src/solvers/flattening/boolbv.cpp
@@ -697,6 +697,8 @@ bool boolbvt::is_unbounded_array(const typet &type) const
 
 void boolbvt::print_assignment(std::ostream &out) const
 {
+  arrayst::print_assignment(out);
+
   for(const auto &it : map.mapping)
   {
     out << it.first << "="

Original file line number	Diff line number	Diff line change
`@@ -697,6 +697,8 @@ bool boolbvt::is_unbounded_array(const typet &type) const`
`697`	`697`
`698`	`698`	`void boolbvt::print_assignment(std::ostream &out) const`
`699`	`699`	`{`
	`700`	`+ arrayst::print_assignment(out);`
	`701`	`+`
`700`	`702`	`for(const auto &it : map.mapping)`
`701`	`703`	`{`
`702`	`704`	`out << it.first << "="`