TestBagOfImpl

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

Tests the queries

open override fun testBagOfFindX()

Tests the queries

Tests the queries

Tests the queries

open override fun testBagOfTypeError()

Tests the queries

open override fun testBagOfYXZ()

Tests the queries

Tests the queries