BarrySauce

Getting "Error: running slither:" problem

13

I am following this article to perform end-to-end fuzzing: https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/end-to-end-testing.md I am currently using the binary version of Echidna 2.0.1 on Mac. I did several simple examples and the fuzzing...

Getting "Error: running slither:" problem

2

### Describe the issue: I get this problem when I ran Echidna. The error shows below: May I know the possible reasons for Slither to output such kind of error?...

Is Hardhat compatible in the End to End Test Example?

4

Basically I was trying to replace Truffle with Hardhat in this example (https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/end-to-end-testing.md), since Hardhat can offer multiple solc version support when compiling. So the contracts I am using is...