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 /src/js | |
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.
Diffstat (limited to 'src/js')
0 files changed, 0 insertions, 0 deletions