rudymatela/extrapolate

generalize counter-examples of property-based testing

语言：Haskell · GitHub 星标：13 · Fork：0

话题：counter-example-generalization · debugging · enumerative-testing · generalization · haskell · leancheck · property-based-testing · property-testing

在 GitHub 上查看原仓库