Content
@
0 reply
0 recast
2 reactions
jtriley.eth
@jtriley
cleared the terminal after a failed fuzz run and now i can’t reproduce this is fine
1 reply
0 recast
5 reactions
cqb
@cqb
This happens much more than it probably should. I usually increase the test runs but 4x and hope it catches it again
1 reply
0 recast
1 reaction
jtriley.eth
@jtriley
it took around 2-3 million to hit it again lmao
1 reply
1 recast
2 reactions
horsefacts
@horsefacts.eth
If it's not too stateful you might be able to run it symbolically when this happens and you know there's a counterexample to find.
1 reply
0 recast
2 reactions
