Skip to content

Commit 428f0a7

Browse files
Fuzzing: Add --canonicalize-nans=true to differential fuzzer
1 parent 87f85b2 commit 428f0a7

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

FuzzTesting/differential.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,7 @@ async def run_single(lane, i, program):
4242
"-o", wasm_file,
4343
"--ensure-termination",
4444
"--bulk-memory-enabled=true",
45+
"--canonicalize-nans=true",
4546
"--saturating-float-to-int-enabled=true",
4647
"--sign-extension-ops-enabled=true",
4748
"--min-funcs=1",

0 commit comments

Comments
 (0)