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 LogHandler
  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 TipTestCase extends RegressionTestCase
  6. class TptpTestCase extends RegressionTestCase
  7. class VeriTTestCase extends RegressionTestCase

Value Members

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

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

  11. object testCutIntro extends App
  12. object testExpansionImport extends App
  13. object testInduction extends App
  14. object testPi2CutIntro extends App
  15. object testResolutionToExpansion extends App
  16. object testTstpImport extends App

Ungrouped