Gustavo Grieco

Results 350 comments of Gustavo Grieco

ImportError (cannot import name 'register_log_callback') when running quickstart example

It should be solved in #81. Please test.

Etheno depends on transaction receipt requests for exporting with "-x"

I think we need to discuss #95 first, to avoid modifying some code that we will need to rewrite later :disappointed:

Looking for guidance with setting up a testing environment for larger smart contract projects

Hi, The team will take a good look to this over the week, but in the meantime, if you want to try Echidna on large contracts with a complicate setup,...

Echidna FAQ

Some basic questions I saw in EH: * Why corpus is collected? * How coverage is used? * How transactions are mutated? * Why echidna won't work with constructors with...

why say"If the original is already using assertions for data validation, it will not work as expected. " ?

Good catch. Please check https://github.com/crytic/building-secure-contracts/commit/5e341803fb4706a10f901c743a674c1fb8074ed7 to see if it easier to understand.

why say"If the original is already using assertions for data validation, it will not work as expected. " ?

This looks fixed.

Add discussion on testing patterns

I believe this is explained in #107, please take a look and let me know if there is some missing pattern

Is Hardhat compatible in the End to End Test Example?

Hardhat should work, but we need to check this particular example. We will investigate during the week.

Is Hardhat compatible in the End to End Test Example?

crytic-compile allows to specify a solc version, but it will not allow multiple versions. You should use hardhat for that. Btw, I still need to investigate this issue, sorry :disappointed:

Stop calling black/white list - Instead use allowList/denyList

Thanks for the suggestion, we will consider this change for future releases of our tools