WebAssembly / WebAssembly/threads
Spec tests with memory offsets
Nobody has claimed this yet.
- Dominant language
- WebAssembly
- Stars
- 767
- Forks
- 54
- PR merge metrics
- No merged PRs in 30d
Description
While working on implementation of atomics, I noticed that the spec tests from here passed despite the logic being trivially broken by ignoring const offsets on memory addresses. While I don't know what the coverage goal of spec tests is, const offsets seem like they may be worth having tests for to make it easier to write correct implementations.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the spec tests referenced in the issue and inspect existing atomic memory-access cases. Add coverage for constant offsets on memory addresses, then run the relevant spec test suite and confirm it fails for an implementation that ignores those offsets.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- testing
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100