chore: add `PROPERTIES.md` to upstream differences (#3)
This commit is contained in:
parent
8e581d3057
commit
43a1dff852
|
@ -51,9 +51,11 @@ For example, if you're interested in exploring Foundry in more detail, you shoul
|
||||||
As mentioned above, this template is a fork with adjustments specific to the needs of Vac's smart contract service unit.
|
As mentioned above, this template is a fork with adjustments specific to the needs of Vac's smart contract service unit.
|
||||||
These differences are:
|
These differences are:
|
||||||
|
|
||||||
- Removal of [PRBTest](https://github.com/PaulRBerg/prb-test) In an attempt to keep dependence on third-party code low,
|
- **Removal of [PRBTest](https://github.com/PaulRBerg/prb-test)** - In an attempt to keep dependence on third-party code
|
||||||
we've decided to remove this library as a standard dependency of every project within Vac. If we do see a need for it,
|
low, we've decided to remove this library as a standard dependency of every project within Vac. If we do see a need
|
||||||
we might bring it back in the future.
|
for it, we might bring it back in the future.
|
||||||
|
- \*\*`PROPERTIES.md` - For invariant testing and formal verification, we've introduced a `PROPERTIES.md` to document
|
||||||
|
all protocol properties that must hold true.
|
||||||
|
|
||||||
### Sensible Defaults
|
### Sensible Defaults
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue