refine properties for testing Haskell programs
语言:Haskell · GitHub 星标:78 · Fork:0
话题:enumerative-testing · leancheck · mutation-testing · property-based-testing · property-refinement · property-testing
在 GitHub 上查看原仓库