Skip to content

Commit

Permalink
Update spec test suite submodule
Browse files Browse the repository at this point in the history
Just a routine update, no major changes.
  • Loading branch information
alexcrichton committed Oct 23, 2024
1 parent c42f925 commit 52bd03a
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 2 deletions.
1 change: 1 addition & 0 deletions crates/wast/src/wast.rs
Original file line number Diff line number Diff line change
Expand Up @@ -620,6 +620,7 @@ fn is_matching_assert_invalid_error_message(expected: &str, actual: &str) -> boo
actual.contains(expected)
// slight difference in error messages
|| (expected.contains("unknown elem segment") && actual.contains("unknown element segment"))
|| (expected.contains("type mismatch") && actual.contains("indirect calls must go through a table with type <= funcref"))
// The same test here is asserted to have one error message in
// `memory.wast` and a different error message in
// `memory64/memory.wast`, so we equate these two error messages to get
Expand Down
3 changes: 2 additions & 1 deletion tests/wast.rs
Original file line number Diff line number Diff line change
Expand Up @@ -103,6 +103,7 @@ fn should_fail(test: &Path, strategy: Strategy) -> bool {
"spec_testsuite/table_set.wast",
"spec_testsuite/table_size.wast",
"spec_testsuite/unreached-invalid.wast",
"spec_testsuite/call_indirect.wast",
// simd-related failures
"annotations/simd_lane.wast",
"memory64/simd.wast",
Expand Down Expand Up @@ -252,7 +253,7 @@ fn run_wast(wast: &Path, strategy: Strategy, pooling: bool) -> anyhow::Result<()
let gc = feature_found(wast, "gc") || memory64;
let function_references = gc || memory64 || feature_found(wast, "function-references");
let reference_types = !(threads && feature_found(wast, "proposals"));
let relaxed_simd = feature_found(wast, "relaxed-simd");
let relaxed_simd = feature_found(wast, "relaxed-simd") || memory64;
let tail_call = function_references || feature_found(wast, "tail-call");
let use_shared_memory = feature_found_src(&wast_bytes, "shared_memory")
|| feature_found_src(&wast_bytes, "shared)");
Expand Down

0 comments on commit 52bd03a

Please sign in to comment.