diff options
| author | Alon Zakai <azakai@google.com> | 2022-05-05 10:55:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-05 10:55:38 -0700 |
| commit | 3f5540c3fd353d6ed5d56c86ebedea802d75cce2 (patch) | |
| tree | 55aa0a712f83f3a9f4c88721e682781584893673 | |
| parent | 984a28828f7536a5d39272a1c0bbdd18254bb486 (diff) | |
| download | binaryen-3f5540c3fd353d6ed5d56c86ebedea802d75cce2.tar.gz binaryen-3f5540c3fd353d6ed5d56c86ebedea802d75cce2.tar.bz2 binaryen-3f5540c3fd353d6ed5d56c86ebedea802d75cce2.zip | |
[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.
| -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) |