diff options
Diffstat (limited to 'scripts/fuzz_opt.py')
-rwxr-xr-x | scripts/fuzz_opt.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index c6a424eb3..e16c6c320 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -127,7 +127,7 @@ def randomize_fuzz_settings(): NANS = True else: NANS = False - FUZZ_OPTS += ['--no-fuzz-nans'] + FUZZ_OPTS += ['--denan'] if random.random() < 0.5: OOB = True else: |