hdevalence / hdevalence/danake
Write a protocol simulator.
Open
- Dominant language
- Rust
- Stars
- 8
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
This should exercise the protocol by:
- defining a sequence of "moves" that a client could perform (state transitions),
- defining how those moves affect the client's state,
- writing code that can execute a sequence of moves against a server.
Then this can be hooked up to proptest to do automatic exploration of the protocol's state space.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.