diff options
| author | Alon Zakai <azakai@google.com> | 2020-05-27 09:18:36 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-27 09:18:36 -0700 |
| commit | c7f18b7fb34e2464f7a7beb31d8c8363e8597902 (patch) | |
| tree | 71e6a0a4d7659f08c1644c22103ec66be4bfdfaa /scripts | |
| parent | 616463d1f33804f639d6c32ad284e7280a0a7b71 (diff) | |
| download | binaryen-c7f18b7fb34e2464f7a7beb31d8c8363e8597902.tar.gz binaryen-c7f18b7fb34e2464f7a7beb31d8c8363e8597902.tar.bz2 binaryen-c7f18b7fb34e2464f7a7beb31d8c8363e8597902.zip | |
DeNaN pass (#2877)
This moves the fuzzer de-NaN logic out into a separate pass. This is
cleaner and also better since the old way would de-NaN once, but then
the reducer could generate code with nans. The new way lets us de-NaN
while reducing.
Diffstat (limited to 'scripts')
| -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: |