Seems like property based tests would be good for llms, it’s a shame that half the time coming up with a good property test can be as hard as writing the code.