package test
- Alphabetic
- Public
- All
Type Members
-
abstract
class
MMTIntegrationTest extends MMTUnitTest with ExtensionTester with ArchiveTester with CheckTester
A class used for MMT Integration Tests which require a completly setup MMT environment to work
-
abstract
class
MMTUnitTest extends BaseTester
A class used for MMT Unit Tests that only need a controller instance to work properly
Value Members
- object APITest extends MMTIntegrationTest
- object DiagTest extends MMTIntegrationTest
- object LFTest extends MMTIntegrationTest
- object Orders
- object SvenProverTest extends MMTIntegrationTest
-
object
TestRunner
The TestRunner class represents a single run on multiple Main-Classes That Implement MMT-Unit Tests