test-solve/it.unibo.tuprolog.solve/TestSolver/testCatchPrimitive

testCatchPrimitive

abstract fun testCatchPrimitive()

Call primitive testing with catchTestingGoalsToSolutions and catchAndThrowTheoryExampleNotableGoalToSolution