Package de.uka.ilkd.key.logic

138

tests

34

failures

0

ignored

19.640s

duration

75%

successful

Failed tests

Classes

Class Tests Failures Ignored Duration Success rate
LabeledTermImplTest 2 0 0 0.003s 100%
TestClashFreeSubst 14 14 0 0.109s 0%
TestLocalSymbols 2 1 0 9.455s 50%
TestName 1 0 0 0.001s 100%
TestNamespace 4 0 0 0.012s 100%
TestPosInOcc 2 0 0 0.003s 100%
TestPosInProgram 31 0 0 0.056s 100%
TestPosInTerm 7 0 0 0.006s 100%
TestSemisequent 15 0 0 0.021s 100%
TestSyntacticalReplaceVisitor 2 0 0 0.007s 100%
TestTerm 9 0 0 0.020s 100%
TestTermBuilder 6 0 0 3.760s 100%
TestTermFactory 19 0 0 0.035s 100%
TestTermLabelManager 21 19 0 6.145s 9%
TestVariableNamer 3 0 0 0.007s 100%