package testing
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class LeanCoPTestCase extends RegressionTestCase
- class MetricsPrinter extends LogHandler
- 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 evalCodeSnippetsInLatex
- object findNonTrivialTSTPExamples extends App
- object indElimBench extends Script
- object loadAndCompress extends App
- object parseMethod
- object primeCutElimBench extends Script
-
object
runOutOfProcess
Runs a Scala closure in an external JVM, and returns the result (or exception, if thrown).
- 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
This is the API documentation for GAPT.
The main package is gapt.