TestSolutionPresentation
Conformance tests for how a Solution's substitution presents variables that only occur nested inside another variable's binding (i.e. do not directly correspond to a variable of the original query), rather than for the resolution logic itself. Shared by every Solver implementation via the TestSolutionPresentation.prototype(solverFactory) factory (see TestClassicSolutionPresentation in :solve-classic for a concrete usage).
Inheritors
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.