Topic: "invariant-testing"
CarlosAlegreUr/AuditExamplePractice
I audited the code from this github repo: foundry-defi-stablecoin-f23. Just for practice and experience.
Size: 10.7 KB - Last synced at: 16 days ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
glebec/generative-testing-talk
Fast-Check example repo, in prep for a talk on property testing (aka invariant testing)
Language: TypeScript - Size: 46.9 KB - Last synced at: 4 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
dt6120/defi-stablecoin-protocol
A DeFi project to allow users to mint and burn stablecoin by depositing and redeeming collateral, including health factor and liquidation mechanism to incentivize protocol solvency.
Language: Solidity - Size: 22.5 KB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
