TestGoal
all
>
de.uka.ilkd.key.proof
> TestGoal
2
tests
0
failures
0
ignored
0.021s
duration
100%
successful
Tests
Tests
Test
Duration
Result
testSetBack0()
0.015s
passed
testSetBack1()
0.006s
passed