test-solve/it.unibo.tuprolog.solve/TestFail

TestFail

interface TestFail : SolverTest

Conformance tests for fail/0, plus the unknown flag's effect on resolving an undefined procedure, shared by every Solver implementation via the TestFail.prototype(solverFactory) factory (see TestClassicFail in :solve-classic for a concrete usage).

Types

object Companion

Properties

open val longDuration: TimeDuration

A long test max duration, four times mediumDuration; used for queries involving deeper search or recursion.

open val mediumDuration: TimeDuration

A medium test max duration, twice shortDuration; used for queries involving a handful of resolution steps.

open val shortDuration: TimeDuration

A short test max duration, used for queries expected to resolve almost immediately.

Functions

abstract fun testFail()

Tests the queries

testSetFlagFail

abstract fun testSetFlagFail()

Tests the queries

testSetFlagWarning

abstract fun testSetFlagWarning()

Tests the queries

abstract fun testUndefPred()

Tests the queries