hellwolf / popsicle-exploit

Using various tools to rediscover popsicle exploit

Motivation

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.