alexcrichton opened PR #13309 from alexcrichton:wast-additions to bytecodealliance:main:
Add
--ignore-error-messagesas a CLI flag instead of only looking for "spec_testsuite" in the path of tests. Do some plumbing to ensure all spec tests, even component model ones, ignore error messages due to divergences over time. This "fixes" two upstream tests as Wasmtime rejects them due to an error message.Auto-enabled backtrace details to get printed out when DWARF information is emitted. There's not really any purpose in emitting DWARF and then not using it, and the backtrace looks much nicer by default. This gives line numbers in backtraces for
wastfiles by default, which is a nice perk.<!--
Please make sure you include the following information:
If this work has been discussed elsewhere, please include a link to that
conversation. If it was discussed in an issue, just mention "issue #...".Explain why this change is needed. If the details are in an issue already,
this can be brief.Our development process is documented in the Wasmtime book:
https://docs.wasmtime.dev/contributing-development-process.htmlPlease ensure all communication follows the code of conduct:
https://github.com/bytecodealliance/wasmtime/blob/main/CODE_OF_CONDUCT.md
-->
alexcrichton requested dicej for a review on PR #13309.
alexcrichton requested wasmtime-core-reviewers for a review on PR #13309.
alexcrichton unassigned dicej from PR #13309 Minor updates/improvements to wast subcommand.
alexcrichton requested cfallin for a review on PR #13309.
alexcrichton requested wasmtime-core-reviewers for a review on PR #13309.
:thumbs_up: pchickey submitted PR review.
alexcrichton added PR #13309 Minor updates/improvements to wast subcommand to the merge queue.
alexcrichton removed PR #13309 Minor updates/improvements to wast subcommand from the merge queue.
alexcrichton requested fitzgen for a review on PR #13309.
alexcrichton requested wasmtime-fuzz-reviewers for a review on PR #13309.
alexcrichton updated PR #13309.
alexcrichton has enabled auto merge for PR #13309.
alexcrichton added PR #13309 Minor updates/improvements to wast subcommand to the merge queue.
github-merge-queue[bot] removed PR #13309 Minor updates/improvements to wast subcommand from the merge queue.
github-actions[bot] added the label fuzzing on PR #13309.
github-actions[bot] commented on PR #13309:
Subscribe to Label Action
cc @fitzgen
<details>
This issue or pull request has been labeled: "fuzzing"Thus the following users have been cc'd because of the following labels:
- fitzgen: fuzzing
To subscribe or unsubscribe from this label, edit the <code>.github/subscribe-to-label.json</code> configuration file.
Learn more.
</details>
alexcrichton requested wasmtime-default-reviewers for a review on PR #13309.
alexcrichton updated PR #13309.
alexcrichton has enabled auto merge for PR #13309.
alexcrichton added PR #13309 Minor updates/improvements to wast subcommand to the merge queue.
github-merge-queue[bot] removed PR #13309 Minor updates/improvements to wast subcommand from the merge queue.
alexcrichton added PR #13309 Minor updates/improvements to wast subcommand to the merge queue.
:check: alexcrichton merged PR #13309.
alexcrichton removed PR #13309 Minor updates/improvements to wast subcommand from the merge queue.
Last updated: Jun 01 2026 at 09:49 UTC