package testing
Content Hierarchy
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- class LeanCoPTestCase extends RegressionTestCase
- class MetricsPrinter extends MetricsCollector
- 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 TptpTestCase extends RegressionTestCase
- class VeriTTestCase extends RegressionTestCase
Value Members
- object RegressionTests extends App
- object collectExperimentResults extends App
- object dumpTermset extends App
- object evalCodeSnippetsInLatex
- object findNonTrivialTSTPExamples extends App
- object loadAndCompress extends App
- object parseMethod
-
object
runOutOfProcess
Runs a Scala closure in an external JVM, and returns the result (or exception, if thrown).
- object testCutIntro extends App
- object testTstpImport extends App