Projects in Awesome Lists tagged with invariant-testing
A curated list of projects in awesome lists tagged with invariant-testing .
https://github.com/carlosalegreur/auditexamplepractice
I audited the code from this github repo: foundry-defi-stablecoin-f23. Just for practice and experience.
audit blockchain-security invariant-testing slither smart-contract solidity web3
Last synced: 20 Feb 2025
https://github.com/glebec/generative-testing-talk
Fast-Check example repo, in prep for a talk on property testing (aka invariant testing)
fast-check functional generative-testing invariant-testing property-testing quickcheck talk testing
Last synced: 03 Mar 2025
https://github.com/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.
chainlink-price-feeds defi foundry fuzzing invariant-testing stablecoin
Last synced: 27 Feb 2025
