silentbicycle/theft

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input

46 best points · 0 comments · 2 Hacker News posts · 652 GitHub stars · View on GitHub

Hacker News discussions

• Theft: Property-based testing for C (46 points, 0 comments, by luu, 2014-08-03)
• Theft – property-based testing framework for C language (2 points, 0 comments, by xvilka, 2025-03-12)