Package de.uka.ilkd.key.logic

138

tests

0

failures

2

ignored

1m49.23s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
LabeledTermImplTest 2 0 0 0.002s 100%
TestClashFreeSubst 14 0 2 13.474s 100%
TestLocalSymbols 2 0 0 5.528s 100%
TestName 1 0 0 0.001s 100%
TestNamespace 4 0 0 0.004s 100%
TestPosInOcc 2 0 0 0.002s 100%
TestPosInProgram 31 0 0 0.064s 100%
TestPosInTerm 7 0 0 0.006s 100%
TestSemisequent 15 0 0 0.042s 100%
TestSyntacticalReplaceVisitor 2 0 0 0.004s 100%
TestTerm 9 0 0 0.015s 100%
TestTermBuilder 6 0 0 21.206s 100%
TestTermFactory 19 0 0 0.032s 100%
TestTermLabelManager 21 0 0 1m8.84s 100%
TestVariableNamer 3 0 0 0.007s 100%