Package de.uka.ilkd.key.logic
|
99%
successful |
Failed tests
Ignored tests
Classes
Class | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
LabeledTermImplTest | 2 | 0 | 0 | 0.004s | 100% |
TestClashFreeSubst | 14 | 0 | 2 | 11.949s | 100% |
TestLocalSymbols | 2 | 1 | 0 | 5.214s | 50% |
TestName | 1 | 0 | 0 | 0.002s | 100% |
TestNamespace | 4 | 0 | 0 | 0.004s | 100% |
TestPosInOcc | 2 | 0 | 0 | 0.002s | 100% |
TestPosInProgram | 31 | 0 | 0 | 0.088s | 100% |
TestPosInTerm | 7 | 0 | 0 | 0.008s | 100% |
TestSemisequent | 15 | 0 | 0 | 0.016s | 100% |
TestSyntacticalReplaceVisitor | 2 | 0 | 0 | 0.003s | 100% |
TestTerm | 9 | 0 | 0 | 0.032s | 100% |
TestTermBuilder | 6 | 0 | 0 | 18.492s | 100% |
TestTermFactory | 19 | 0 | 0 | 0.024s | 100% |
TestTermLabelManager | 21 | 0 | 0 | 58.409s | 100% |
TestVariableNamer | 3 | 0 | 0 | 0.005s | 100% |