New flag -dddump-rule-rewrites
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sat, 27 Nov 2010 12:20:22 +0000 (12:20 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Sat, 27 Nov 2010 12:20:22 +0000 (12:20 +0000)
Now, -ddump-rule-firings only shows the names of the rules that fired (it would
show "before" and "after" with -dverbose-core2core previously) and
-ddump-rule-rewrites always shows the "before" and "after" bits, even without
-dverbose-core2core.


No differences found