Following the tutorials from Certora about Popsicle Finance Exploit, it is an interesting exercise to try out if we could reproduce the same exploit using dapptool and echidna.
Following the tutorials from Certora about Popsicle Finance Exploit, it is an interesting exercise to try out if we could reproduce the same exploit using dapptool and echidna.