Rappie
Rappie
I've made some hacky changes to be able to continue my current work on the Damn Vulnerable DeFi challenges: https://github.com/rappie/etheno/commit/574eff0e20291b57c24390efc6e2024cb78bf97c
Awesome, I will take a look soon. You can add the following line to fix problems with contract deployments not being logged: ```javascript await SimpleStorageTwo.deployed() ``` I have discovered this...
I have tested the your changes and everything seems to be working. There are some differences in the order of transactions being logged compared to my own (hacky) bugfixed version....
Thanks for looking into it :)
I seem to be having a similar problem: ```shell echidna-test . --contract E2E --config echidna-config.yaml --format text Loaded total of 0 transactions from echidna-corpus/coverage Analyzing contract: /home/rappie/Desktop/erc20-fuzzing/exercises/origindollar/fuzzing/contracts/E2E.sol:E2E echidna-test: VM failed...
Thank you for the extensive response. My approach to fuzzing so far has been to do as little rewrites as possible to the existing code and project structure. I personally...
I am experiencing the same issue. Any news?
Most often doing a `npx hardhat clean` fixes things for me when I get that error. It's kinda unsatisfying but it works :) The truffle command should be something like...
> By the way, may I know how to use hardhat with echidna? It just works out of the box. I think this is because echidna uses `crytic-compile` to compile...
Whoohoo :clinking_glasses: