
Test-framework-th contains two interesting functions: defaultmaingenerator and testgroupgenerator.
defaultmaingenerator will extract all functions beginning with "case_" or "prop_" in the module and put them in a testgroup.
testgroupgenerator is like defaultmaingenerator but without defaultmain. it is useful if you need a function for the testgroup (e.g. if you want to be able to call the testgroup from another module).
this package contains the normal library files.