GitHub topics: invariant-testing
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: 8 months ago - Stars: 0 - Forks: 0
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: about 1 month 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: about 6 years ago - Stars: 1 - Forks: 0
