retracediff: Only diff state if specified by command line option.
As it can be very slow.
diff --git a/scripts/retracediff.py b/scripts/retracediff.py
index e59d00a..4ed5837 100755
--- a/scripts/retracediff.py
+++ b/scripts/retracediff.py
@@ -220,6 +220,10 @@
type="string", dest="snapshot_frequency", default='draw',
help="calls to compare [default: %default]")
optparser.add_option(
+ '--diff-state',
+ action='store_true', dest='diff_state', default=False,
+ help='diff state between failing calls')
+ optparser.add_option(
'-o', '--output', metavar='FILE',
type="string", dest="output",
help="output file [default: stdout]")
@@ -289,7 +293,7 @@
refImage.save(prefix + '.ref.png')
srcImage.save(prefix + '.src.png')
comparer.write_diff(prefix + '.diff.png')
- if last_bad < last_good:
+ if last_bad < last_good and options.diff_state:
srcRetracer.diff_state(last_good, callNo, output)
last_bad = callNo
else: