package testing
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- Protected
Type Members
- class LeanCoPTestCase extends RegressionTestCase
- class Prover9TestCase extends RegressionTestCase
- 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().
- class TheoryTestCase extends RegressionTestCase
- class TipTestCase extends RegressionTestCase
- class TptpTestCase extends RegressionTestCase
- class VeriTTestCase extends RegressionTestCase
Value Members
- object CutReductionBenchmarkTools
- object RegressionTests extends App
- object TheoryTestCase extends Serializable
- object clausifier extends App
- object collectExperimentResults extends App
- object computeStrategies extends App
- object cutReductionBenchmark extends Script
- object dumpTermset extends App
- object findNonTrivialTSTPExamples extends App
- object indElimBench extends Script
- object loadAndCompress extends App
- object parseMethod
- object parseMode
- object primeCutElimBench extends Script
- object runOutOfProcess
Runs a Scala closure in an external JVM, and returns the result (or exception, if thrown).
- object sipReconstruct extends Script
- object testCutIntro extends App
- object testExpansionImport extends App
- object testInduction extends App
- object testLKToND extends App
- object testLKToND2 extends App
- object testPi2CutIntro extends App
- object testResolutionToExpansion extends App
- object testTstpImport extends App
- object testViper extends App
This is the API documentation for GAPT.
The main package is gapt.