Example Certora verification for a simple multi-contract system
Why do you think that https://github.com/pcaversaccio/reentrancy-attacks is a good alternative to LiquidityPoolExample
Example Certora verification for a simple multi-contract system
Why do you think that https://github.com/pcaversaccio/reentrancy-attacks is a good alternative to LiquidityPoolExample