diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-12-21 14:33:06 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-12-21 14:33:06 -0800 |
| commit | 0c0b225ab15a6a92af144dc2a7b3f68f9fde8844 (patch) | |
| tree | 63040d397659819a323d616b475f4b88c70fa4a6 /tests/runner.py | |
| parent | 4d3c2cacffd90d953fde2210856ffb7d79911fc8 (diff) | |
fix sqlite
Diffstat (limited to 'tests/runner.py')
| -rw-r--r-- | tests/runner.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/runner.py b/tests/runner.py index 66578e8c..f5260284 100644 --- a/tests/runner.py +++ b/tests/runner.py @@ -3759,7 +3759,7 @@ def process(filename): pgo_data = read_pgo_data(path_from_root('tests', 'sqlite', 'sqlite-autooptimize.fails.txt')) - Settings.CORRECT_SIGNS = 2 + Settings.CORRECT_SIGNS = 1 # XXX: in default, we fail with 2 here, even though the pgo_data should be correct (and works in s_0_0). Investigate this. Settings.CORRECT_SIGNS_LINES = pgo_data['signs_lines'] Settings.CORRECT_OVERFLOWS = 0 Settings.CORRECT_ROUNDINGS = 0 |