Kudzu (Lightning Talk)
summary
Kudzu runs property-based tests until GHC HPC’s per-region counters stop increasing, using RTS hooks (examineTicks) to read coverage at runtime and keep testing while new regions go from zero to nonzero. It supports Hedgehog, LeanCheck and QuickCheck, landed as the kudzu repo and Hackage package, and typically converges in the tens of runs (about 60–70 on the examples shown); LeanCheck converges fastest, QuickCheck slowest, and final coverage across generators is roughly comparable.
AI-written summary · about
related talks
27mDeclarative Testing Clusters with KUTTL
28mEtna: An Evaluation Platform for Property-Based Testing
20mFilling the Gaps in Kubernetes Test Coverage - Hippie Hacker, ii.coop
42mSurprise yourself with Property Based Testing
48mThe Properties of Property Testing with Hedgehog
15mLinux Testing made better with DATA
43mProperty-Based Testing - Examples from Business Applications
24mKUnit Testing Insufficiencies