TestTerm
Conformance tests for the ISO standard order of terms comparison operators \==/2, ==/2, @>/2, @>=/2, @</2 and @=</2 (each comparing their two arguments as terms, without arithmetic evaluation, unlike the arithmetic comparisons in TestArith), shared by every Solver implementation via the TestTerm.prototype(solverFactory) factory (see TestClassicTerm in :solve-classic for a concrete usage).
Properties
Link copied to clipboard
A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.
Link copied to clipboard
A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.
Link copied to clipboard
A short test max duration, used for queries expected to resolve almost immediately.