3 ms·LLMs are great at generating property-based tests.by erichocean 2y agoLLMs are great at generating property-based tests.