runtimeverification / runtimeverification/stable-mir-json
Problem with statics
Open
Nobody has claimed this yet.
Future Work Notes
- Dominant language
- Rust
- Stars
- 11
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
Problems are occurring with statics that we need to resolve. See these lines from Stephen
The message gets printed when generating smir json from test program box.rs.
Contributor guide
No contributing guide indexed for this repository
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 with src/printer.rs lines 704-714 and inspect how the message is produced when generating SMIR JSON. Run the integration case tests/integration/failing/box.rs to reproduce the static-related problem. Done means the static handling no longer produces the reported problem and the test behavior is correct.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers, testing
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100