Test.Framework.TestManager
htfMain
htfMainWithArgs
runTest
runTest'
runTestWithArgs
runTestWithArgs'
runTestWithOptions
runTestWithOptions'
runTestWithConfig
runTestWithConfig'
class TestableHTF t
makeQuickCheckTest
makeUnitTest
makeBlackBoxTest
makeTestSuite
makeAnonTestSuite
addToTestSuite
testSuiteAsTest
flattenTest