TestTimeoutImpl

Concrete implementation of TestTimeout, instantiated via TestTimeout.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 testInfiniteBagOf()

Same as testInfiniteFindAll, but with bagof(N, nat(N), L) in place of findall/3.

open override fun testInfiniteFindAll()

Tests the query

open override fun testInfiniteSetOf()

Same as testInfiniteFindAll, but with setof(N, nat(N), L) in place of findall/3.

open override fun testSleep()

Tests the query