Comment on Test-case reducers are underappreciated debugging toolsComments−skybrian3moProperty-based testing frameworks will often do test case reduction as well (called shrinking).−Jtsummers3moShrink Ray, described in the article, is developed by D.R. MacIver who also developed Hypothesis. I remember when it was announced a while back but had forgotten about it, I guess I have something to play with tonight.−akshayshah3moThese days, he’s also working on Hegel - bringing test case reduction and PBT to more languages.https://hegel.dev−macintux3moBrilliant tools, well worth investigating for any system-critical applications. They don't seem to get enough attention outside of the FP community.
Comments
Property-based testing frameworks will often do test case reduction as well (called shrinking).
Shrink Ray, described in the article, is developed by D.R. MacIver who also developed Hypothesis. I remember when it was announced a while back but had forgotten about it, I guess I have something to play with tonight.
These days, he’s also working on Hegel - bringing test case reduction and PBT to more languages.
https://hegel.dev
Brilliant tools, well worth investigating for any system-critical applications. They don't seem to get enough attention outside of the FP community.