LibWasm: Ignore tests that check that we don't support 2+ memories

Since we support the multi-memory proposal, we should skip tests that
validate that we have only one memory. Once multi-memory gets included
in the main WebAssembly specification (and the testsuite is updated), we
can revert this commit.

(cherry picked from commit 98ac8d98510e61665cf8a6b96f5cd4874a561cd7)
This commit is contained in:
Diego 2024-07-11 09:45:01 -07:00 committed by Ali Mohammad Pur
parent b896f27a45
commit 1b93c75c86

View file

@ -314,6 +314,11 @@ _test.skip = test.skip;
def gen_invalid(invalid: AssertInvalid, ctx: Context): def gen_invalid(invalid: AssertInvalid, ctx: Context):
# TODO: Remove this once the multiple memories proposal is standardized.
# We support the multiple memories proposal, so spec-tests that check that
# we don't do not make any sense to include right now.
if invalid.message == "multiple memories":
return
if ctx.has_unclosed: if ctx.has_unclosed:
print("});") print("});")
ctx.has_unclosed = False ctx.has_unclosed = False