coverage: count number of executions per line

[elopez]

[gustavo-grieco]

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).

[gustavo-grieco]

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

[rappie]

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

[elopez]

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]

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

[gustavo-grieco]

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

[elopez]

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

[gustavo-grieco]

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

[samalws-tob]

I benchmarked this, looks like it cuts performance (calls/s) in half

[samalws-tob]

in #1305 tried doing type StatsInfo = ExecQty instead of type StatsInfo = (ExecQty, RevertQty) because I thought the issue might've had to do with tuples being non-strict, but it's still far slower than master

[rappie]

I'm still very interested in this, despite the performance loss. It would be great to have this in master as a togglable feature :slightly_smiling_face: