diff options
| author | José Fonseca <jose.r.fonseca@gmail.com> | 2011-06-05 01:44:42 +0100 |
|---|---|---|
| committer | José Fonseca <jose.r.fonseca@gmail.com> | 2011-06-05 01:44:42 +0100 |
| commit | 1accd6a6f588d7c4089684f8cb9dbf817fc1a9c6 (patch) | |
| tree | c8d3271153973c0eb9bacb6a112deb101580cb58 | |
| parent | a345339875b76b631493d790c64bf9d3e95a1e29 (diff) | |
Adjust default precision threshold.
| -rwxr-xr-x | scripts/tracecheck.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/tracecheck.py b/scripts/tracecheck.py index b5d6b765..d204fa63 100755 --- a/scripts/tracecheck.py +++ b/scripts/tracecheck.py @@ -116,7 +116,7 @@ def main(): help='snapshot comparison prefix') optparser.add_option( '--precision-threshold', metavar='BITS', - type='float', dest='precision_threshold', default='12', + type='float', dest='precision_threshold', default=8.0, help='precision threshold in bits [default: %default]') optparser.add_option( '--gl-renderer', metavar='REGEXP', |