brucdarc comments

Repositories
Issues
Comments

Results 3 comments of


                                            brucdarc

Errors running echidna - solc-args

This also helped me, thanks

Deploying many large interacting contracts

Also getting this on deploying a large contract system with echidna, is there any way to increase the gas limits? ``` Analyzing contract: /home/dak/Desktop/harmony/total/aave-v2-modified/total-v1/contracts/TotalV1/test/SimpleEchidnaTest.sol:SimpleEchidnaTest echidna-test: Deploying the contract 0x00a329c0648769A73afAc7F9381E08FB43dBEA72 failed...

Fuzz testing only catches console.log in `setUp()` and in failing test functions, not passing functions

Bump to this, also looking to get output on each fuzz test, not just the failing ones