search

crytic / echidna

Ethereum smart contract fuzzer
GNU Affero General Public License v3.0
2.65k stars 346 forks source link

coverage: count number of executions per line #1265

Open elopez opened 1 month ago

ggrieco-tob commented 1 month ago

I think either the workers will be frequently sending events (quite bad) or some counter will not be properly updated (not so bad, still not great).

ggrieco-tob commented 1 month ago

@elopez can you also include the changes from here? https://github.com/crytic/echidna/pull/1110

rappie commented 1 month ago

This is awesome, I want this feature so bad :laughing:

elopez commented 6 days ago

I did a second attempt at implementing this a safer way. The code is quite ugly right now but if anyone wants to test/review it before I spend some more time on it I'd appreciate it 👍

rappie commented 6 days ago

I don't see this branch under Actions to download the binary :thinking:

ggrieco-tob commented 6 days ago

I think it is because it is a draft, let me convert it a proper PR

elopez commented 6 days ago

@rappie There was a small git conflict, hopefully it builds now that I resolved it 👍

ggrieco-tob commented 5 days ago

@samalws-tob can you take a look to this PR?