Package

at.logic.gapt

testing

Permalink

package testing

Content Hierarchy
Visibility
  1. Public
  2. All

Type Members

  1. class LeanCoPTestCase extends RegressionTestCase

    Permalink
  2. class MetricsPrinter extends MetricsCollector

    Permalink
  3. class Prover9TestCase extends RegressionTestCase

    Permalink
  4. abstract class RegressionTestCase extends Serializable

    Permalink

    Single regression test case, e.g.

    Single regression test case, e.g. Prover9TestCase.ALG-123.

    Subclasses only need to implement test().

  5. class VeriTTestCase extends RegressionTestCase

    Permalink

Value Members

  1. object RegressionTests extends App

    Permalink
  2. object collectExperimentResults extends App

    Permalink
  3. object dumpTermset extends App

    Permalink
  4. object evalCodeSnippetsInLatex

    Permalink
  5. object findNonTrivialTSTPExamples extends App

    Permalink
  6. object loadAndCompress extends App

    Permalink
  7. object loadProof

    Permalink
  8. object parseMethod

    Permalink
  9. object runOutOfProcess

    Permalink

    Runs a Scala closure in an external JVM, and returns the result (or exception, if thrown).

  10. object testCutIntro extends App

    Permalink
  11. object testTstpImport extends App

    Permalink

Ungrouped