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

testBuildingMutableSolverWithDefaultBuiltins

open override fun testBuildingMutableSolverWithDefaultBuiltins()

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