test-solve/it.unibo.tuprolog.solve/TestSolverConstruction/testBuildingMutableSolverWithDefaultBuiltins

testBuildingMutableSolverWithDefaultBuiltins

abstract fun testBuildingMutableSolverWithDefaultBuiltins()

Same as testBuildingSolverWithDefaultBuiltins, but calling .buildMutable(), expecting an MT.