Magenta | Test.Framework.Colors |
makeAnonTestSuite | Test.Framework.TestManager |
makeBlackBoxTest | Test.Framework.TestManager |
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 |
maxDiscardRatio | Test.Framework.QuickCheckWrapper, Test.Framework |
maxLength | Test.Framework.Colors |
maxShrinks | Test.Framework.QuickCheckWrapper, Test.Framework |
maxSize | Test.Framework.QuickCheckWrapper, Test.Framework |
maxSuccess | Test.Framework.QuickCheckWrapper, Test.Framework |
Milliseconds | Test.Framework.History, Test.Framework.TestTypes, Test.Framework.TestManager |
mkFullTestResult | Test.Framework.TestInterface |
mkGlobalResultsXml | Test.Framework.XmlOutput |
mkTestEndEventObj | Test.Framework.JsonOutput |
mkTestListObj | Test.Framework.JsonOutput |
mkTestResultsObj | Test.Framework.JsonOutput |
mkTestRunHistory | Test.Framework.History |
mkTestStartEventObj | Test.Framework.JsonOutput |
Mode | Test.Framework.Pretty |
mode | Test.Framework.Pretty |
monomorphic | Test.Framework.QuickCheckWrapper, Test.Framework |