Add a reset annotation to protocols
Open
- Dominant language
- Rust
- Stars
- 15
- Forks
- 0
- Avg merge
- 6h 20m
- Merged PRs (30d)
- 15
Description
Maybe a reset annotation should imply that this has to happen between any two other transactions (helpful for BMC automaton)
Contributor guide
No contributing guide indexed for this repository
Research direction
No file, test, or entry point is named. Start by locating protocol annotation handling and the BMC automaton's transaction boundaries, then clarify whether reset must occur between every pair of transactions and how that behavior should be verified.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- distributed-systems
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Quiet
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100