@caseynewton the post seems maybe a bit technically in the weeds (I'm guessing it's a specific type of testing framework for smart contract devs), but I don't know about insane
@acjay@caseynewton Yes this looks like a flavor of property based testing, a common technique related to fuzzing used to automate some bug finding. Makes a lot of sense if you're betting a lot of money that a small piece of code does what you think it does.
@acjay @caseynewton Yes this looks like a flavor of property based testing, a common technique related to fuzzing used to automate some bug finding. Makes a lot of sense if you're betting a lot of money that a small piece of code does what you think it does.