summaryrefslogtreecommitdiff
path: root/scripts/fuzz_opt.py
diff options
context:
space:
mode:
Diffstat (limited to 'scripts/fuzz_opt.py')
-rwxr-xr-xscripts/fuzz_opt.py2
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: