makeAnonTestSuite | Test.Framework.TestManager, Test.Framework |
makeBlackBoxTest | Test.Framework.TestManager, Test.Framework |
makeLoc | Test.Framework.Location, Test.Framework |
makeQuickCheckTest | Test.Framework.TestManager, Test.Framework |
makeTestSuite | Test.Framework.TestManager, Test.Framework |
makeUnitTest | Test.Framework.TestManager, Test.Framework |
mapSize | Test.Framework.QuickCheckWrapper, Test.Framework |
maxDiscard | Test.Framework.QuickCheckWrapper, Test.Framework |
maxSize | Test.Framework.QuickCheckWrapper, Test.Framework |
maxSuccess | Test.Framework.QuickCheckWrapper, Test.Framework |
MkStr | Test.Framework.QuickCheckWrapper, Test.Framework |
Mode | Test.Framework.Pretty |
mode | Test.Framework.Pretty |