Skip to content

Commit cc24ca2

Browse files
Fuzzing: Isolate the generated wasm files for each lane
1 parent eda30cf commit cc24ca2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

FuzzTesting/differential.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ def dump_crash_wasm(file, prefix):
2222

2323
async def run_single(lane, i, program):
2424
# Generate a WebAssembly file using wasm-smith
25-
wasm_file = os.path.join(tmp_dir, "t.wasm")
25+
wasm_file = os.path.join(tmp_dir, f"t{lane}.wasm")
2626
cmd = [
2727
"wasm-tools", "smith",
2828
"-o", wasm_file,

0 commit comments

Comments
 (0)