Packages

p

gapt

testing

package testing

Content Hierarchy
Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. class LeanCoPTestCase extends RegressionTestCase
  2. class Prover9TestCase extends RegressionTestCase
  3. 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().

  4. class TheoryTestCase extends RegressionTestCase
  5. class TipTestCase extends RegressionTestCase
  6. class TptpTestCase extends RegressionTestCase
  7. class VeriTTestCase extends RegressionTestCase

Value Members

  1. object CutReductionBenchmarkTools
  2. object RegressionTests extends App
  3. object TheoryTestCase extends Serializable
  4. object clausifier extends App
  5. object collectExperimentResults extends App
  6. object computeStrategies extends App
  7. object cutReductionBenchmark extends Script
  8. object dumpTermset extends App
  9. object findNonTrivialTSTPExamples extends App
  10. object indElimBench extends Script
  11. object loadAndCompress extends App
  12. object parseMethod
  13. object parseMode
  14. object primeCutElimBench extends Script
  15. object runOutOfProcess

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

  16. object sipReconstruct extends Script
  17. object testCutIntro extends App
  18. object testExpansionImport extends App
  19. object testInduction extends App
  20. object testLKToND extends App
  21. object testLKToND2 extends App
  22. object testPi2CutIntro extends App
  23. object testResolutionToExpansion extends App
  24. object testTstpImport extends App
  25. object testViper extends App

Ungrouped