Merge pull request #3651 from tautschnig/2064-simplifier-debug

tautschnig · web-flow · commit 99659b3d0986 · 2019-01-01T16:52:25.000+01:00
Fix and improve simplifier debug output
diff --git a/src/util/simplify_expr.cpp b/src/util/simplify_expr.cpp
@@ -30,6 +30,7 @@ Author: Daniel Kroening, kroening@kroening.com
 // #define DEBUGX
 
 #ifdef DEBUGX
+#include "format_expr.h"
 #include <iostream>
 #endif
 
@@ -2233,8 +2234,8 @@ bool simplify_exprt::simplify_node(exprt &expr)
      #endif
      )
   {
-    std::cout << "===== " << format(old) << "\n ---> " << format(expr)
-              << "\n";
+    std::cout << "===== " << old.id() << ": " << format(old) << '\n'
+              << " ---> " << format(expr) << '\n';
   }
   #endif
 

Original file line number	Diff line number	Diff line change
`@@ -30,6 +30,7 @@ Author: Daniel Kroening, kroening@kroening.com`
`30`	`30`	`// #define DEBUGX`
`31`	`31`
`32`	`32`	`#ifdef DEBUGX`
	`33`	`+#include "format_expr.h"`
`33`	`34`	`#include <iostream>`
`34`	`35`	`#endif`
`35`	`36`
`@@ -2233,8 +2234,8 @@ bool simplify_exprt::simplify_node(exprt &expr)`
`2233`	`2234`	`#endif`
`2234`	`2235`	`)`
`2235`	`2236`	`{`
`2236`		`- std::cout << "===== " << format(old) << "\n ---> " << format(expr)`
`2237`		`- << "\n";`
	`2237`	`+ std::cout << "===== " << old.id() << ": " << format(old) << '\n'`
	`2238`	`+ << " ---> " << format(expr) << '\n';`
`2238`	`2239`	`}`
`2239`	`2240`	`#endif`
`2240`	`2241`