Packages

p

at.logic.gapt

testing

package testing

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. class LeanCoPTestCase extends RegressionTestCase
  2. class MetricsPrinter extends MetricsCollector
  3. class Prover9TestCase extends RegressionTestCase
  4. abstract class RegressionTestCase extends Serializable

    Single regression test case, e.g.

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

    Subclasses only need to implement test().

  5. class TptpTestCase extends RegressionTestCase
  6. class VeriTTestCase extends RegressionTestCase

Value Members

  1. object RegressionTests extends App
  2. object collectExperimentResults extends App
  3. object dumpTermset extends App
  4. object evalCodeSnippetsInLatex
  5. object findNonTrivialTSTPExamples extends App
  6. object loadAndCompress extends App
  7. object parseMethod
  8. object runOutOfProcess

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

  9. object testCutIntro extends App
  10. object testTstpImport extends App

Ungrouped