ASSERT-KTH / ASSERT-KTH/slumps
WAKOKO: coverage tool for WASM
Open
- Dominant language
- WebAssembly
- Stars
- 71
- Forks
- 11
- PR merge metrics
- No merged PRs in 30d
Description
issue to keep some traces of the progress and todos.
- [x] Add support for instruction coverage in SWAM
Next steps:
- [ ] Implement the coverage in linear memory instead of one variable per block
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by tracing the existing instruction-coverage support in SWAM and how coverage is currently represented. Implement the listed next step so coverage is stored in linear memory rather than one variable per block, then verify that instruction coverage still works.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- testing-qa
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100