From 3f5540c3fd353d6ed5d56c86ebedea802d75cce2 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Thu, 5 May 2022 10:55:38 -0700 Subject: [NominalFuzzing] Add typesystem flag to wasm-dis (#4645) wasm-dis does enable all features by default, so we don't need the feature flags, but we do need --nominal etc. since we emit such modules now. --- scripts/fuzz_opt.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'scripts') 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) -- cgit v1.2.3