TestGoal
all
>
de.uka.ilkd.key.proof
> TestGoal
2
tests
0
failures
2
ignored
0s
duration
-
successful
Tests
Tests
Test
Duration
Result
testSetBack0()
-
ignored
testSetBack1()
-
ignored