DummyInstances
object DummyInstances
Utils singleton that contains dummy instances, to be used when in a test something is not important
Author
Enrico
Properties
Link copied to clipboard
A placeholder ExecutionContext, used across this module wherever an ExecutionContext is a required argument (e.g. building an expected it.unibo.tuprolog.solve.exception.error.TypeError or other it.unibo.tuprolog.solve.exception.ResolutionException to compare a Solution.Halt against) but its actual content plays no role in the assertion, since assertSolutionEquals never compares it.unibo.tuprolog.solve.exception.LogicError.context for equality.