TestGoal

all > de.uka.ilkd.key.proof > TestGoal
2

tests
0

failures
0

ignored
0.016s

duration
100%

successful

Tests

Test Duration Result
testSetBack0() 0.008s passed
testSetBack1() 0.008s passed