fitspec-0.4.4: refining property sets for testing Haskell programs

fitspec-0.4.4: refining property sets for testing Haskell programs

FitSpec provides automated assistance in the task of refining test properties for Haskell functions.

FitSpec tests mutant variations of functions under test against a given property set, recording any surviving mutants that pass all tests. FitSpec then reports:

  • surviving mutants: indicating incompleteness of properties, prompting the user to amend a property or to add a new one;
  • conjectures: indicating redundancy in the property set, prompting the user to remove properties so to reduce the cost of testing.

Signatures

Modules