diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2014-02-06 18:40:47 -0500 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2014-02-06 18:41:19 -0500 |
| commit | 42da12d261328082889aea0989ffd1bc76b6c42c (patch) | |
| tree | fcbdd66a366992d2bb00700226e2284177b31f66 | |
| parent | c06ff614145248c7b45dd7cec2d1fac49de81b90 (diff) | |
fuzz -O3 as well
| -rwxr-xr-x | tests/fuzz/csmith_driver.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/fuzz/csmith_driver.py b/tests/fuzz/csmith_driver.py index f43ac60e..d7ed46e1 100755 --- a/tests/fuzz/csmith_driver.py +++ b/tests/fuzz/csmith_driver.py @@ -35,7 +35,7 @@ notes = { 'invalid': 0, 'unaligned': 0, 'embug': 0 } fails = 0 while 1: - opts = '-O' + str(random.randint(0, 2)) + opts = '-O' + str(random.randint(0, 3)) print 'opt level:', opts print 'Tried %d, notes: %s' % (tried, notes) |