prototype
fun prototype(solverFactory: SolverFactory, callErrorSignature: Signature = Signature("call", 1), nafErrorSignature: Signature = Signature("\\+", 1), notErrorSignature: Signature = Signature("not", 1)): TestSolver
Creates a ready-to-use implementation of this test suite, to be delegated to by a concrete Solver module's own test class.
Parameters
solverFactory
produces the Solver/MutableSolver instances under test.
callErrorSignature
the Signature reported in errors raised while resolving a goal through call/1.
nafErrorSignature
the Signature reported in errors raised while resolving a goal through \+/1.
notErrorSignature
the Signature reported in errors raised while resolving a goal through not/1.