Packages

p

info.kwarc.mmt.test

testers

package testers

Type Members

  1. trait ActionTester extends BaseTester

    implements the checking of Actions

  2. trait ArchiveTester extends BaseTester with ActionTester

    trait implementing testing for archives

  3. trait BaseTester extends Logger

    abstract class for MMT Testing components

  4. trait CheckTester extends BaseTester

    implements testing of individual files

  5. case class ExtensionSpec(name: String, args: String*) extends Product with Serializable

    an extension to be tested

  6. trait ExtensionTester extends BaseTester

    trait implementing testing for extensions

  7. case class TestError(s: String) extends Error with Product with Serializable
  8. class TestErrorBuffer extends ErrorHandler

    an ErrorHandler that stores errors in a buffer

Ungrouped