TestLayouter

all > de.uka.ilkd.key.util.pp > TestLayouter
10

tests
0

failures
0

ignored
0.021s

duration
100%

successful

Tests

Test Duration Result
testMark() 0.003s passed
testNarrowConsistent() 0.003s passed
testNarrowInconsistent() 0.001s passed
testNarrowInd() 0.001s passed
testNarrowPre() 0.001s passed
testSixInconsistent() 0s passed
testWideConsistent() 0.001s passed
testWideInconsistent() 0.001s passed
testWideInd() 0.009s passed
testWidePre() 0.001s passed