Content
@
0 reply
0 recast
2 reactions
maurelian
@maurelian.eth
For security that is…
1 reply
8 recasts
25 reactions
horsefacts
@horsefacts.eth
Halmos.
1 reply
0 recast
2 reactions
maurelian
@maurelian.eth
Thx! Why is it gud? Have you actually found bugs with it that fuzzing wouldn't have found?
0 reply
0 recast
0 reaction
cawfree
@cawfree
Fuzz tests give you increasing confidence the counterexample is not there, but Halmos will tell you unequivocally outright. It kicks ass and you can use it in really kooky ways.
0 reply
0 recast
0 reaction
