Om fuzzing/egenskapsbaserad testning: – Det är något speciellt med att bara kasta tusen och åter tusen ingångar på en funktion och se att den fungerar bra. - Det är Proof of Work-motsvarigheten till formell verifiering - Få saker är så tillfredsställande som att öka antalet iterationer på generativa egenskapsbaserade tester och komma på invarianter att hävda. - Utan de egenskapsbaserade testbiblioteken skulle jag förmodligen aldrig helt ha gått över till Rust för flera år sedan. Konstig böjningspunkt. Hur som helst, den här analysen ger mig mycket glädje. Kolla in resultaten 👇