vacp2p
/
foundry-template
mirror of https://github.com/vacp2p/foundry-template.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore: add PROPERTIES.md (#2) 

This file used in projects to lay out the protocol's properties and
invariants. It also serves as a documentation for test coverage.
This commit is contained in:
r4bbit 2023-08-09 11:38:21 +02:00 committed by GitHub
parent 145cb6f7c9
commit 8e581d3057
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
PROPERTIES.md Normal file
View File

@ -0,0 +1,15 @@
## Protocol properties and invariants
Below is a list of all documented properties and invariants of this project that must hold true.
- **Property** - Describes the property of the project / protocol that should ultimately be tested and formaly verified.
- **Type** - Properties are split into 5 main types: **Valid State**, **State Transition**, **Variable Transition**,
**High-Level Property**, **Unit Test**
- **Risk** - One of **High**, **Medium** and **Low**, depending on the property's risk factor
- **Tested** - Whether this property has been (fuzz) tested
| **Property** | **Type** | **Risk** | **Tested** |
| ------------ | -------- | -------- | ---------- |
| | | | |
| | | | |
| | | | |