TestCopyTermImpl

Concrete implementation of TestCopyTerm, instantiated via TestCopyTerm.prototype.

Constructors

constructor(solverFactory: SolverFactory)

A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.

A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.

A short test max duration, used for queries expected to resolve almost immediately.

open override fun testCopyAA()

Tests the queries

open override fun testCopyAB()

Tests the queries

open override fun testCopyAnyA()

Tests the queries

open override fun testCopyAnyAny()

Tests the queries

open override fun testCopyF()

Tests the queries

open override fun testCopySum()

Tests the queries

open override fun testCopyTripleSum()

Tests the queries

open override fun testCopyXNum()

Tests the queries

open override fun testDoubleCopy()

Tests the queries