ethereum / ethereum/distributed-validator-specs
If nagini is eventually used, then the documentation needs to be updated.
Open
- Dominant language
- Python
- Stars
- 89
- Forks
- 17
- PR merge metrics
- No merged PRs in 30d
Description
If [nagini](https://github.com/marcoeilers/nagini) is eventually adopted to express pre and postconditions (see PR #20 ), then the documentation must indicate that nagini has been used for specification purposes only. The spec is not expected to be verifiable by the nagini tool.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.