diff --git a/solve-streams/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestStreamsCall.kt b/solve-streams/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestStreamsCall.kt index f7ed44195..c4147eb0f 100644 --- a/solve-streams/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestStreamsCall.kt +++ b/solve-streams/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestStreamsCall.kt @@ -50,19 +50,16 @@ class TestClassicCall : TestCall, SolverFactory by StreamsSolverFactory { } @Test - @Ignore override fun testCallFailOne() { prototype.testCallFailOne() } @Test - @Ignore override fun testCallWriteOne() { prototype.testCallWriteOne() } @Test - @Ignore override fun testCallTrue() { prototype.testCallTrue() }