diff options
| -rwxr-xr-x | scripts/fuzz_opt.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index ac84898ba..dffa3ac8f 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -809,8 +809,8 @@ class CheckDeterminism(TestCaseHandler): b1 = open('b1.wasm', 'rb').read() b2 = open('b2.wasm', 'rb').read() if (b1 != b2): - run([in_bin('wasm-dis'), 'b1.wasm', '-o', 'b1.wat']) - run([in_bin('wasm-dis'), 'b2.wasm', '-o', 'b2.wat']) + run([in_bin('wasm-dis'), 'b1.wasm', '-o', 'b1.wat', TYPE_SYSTEM_FLAG]) + run([in_bin('wasm-dis'), 'b2.wasm', '-o', 'b2.wat', TYPE_SYSTEM_FLAG]) t1 = open('b1.wat', 'r').read() t2 = open('b2.wat', 'r').read() compare(t1, t2, 'Output must be deterministic.', verbose=False) |