|
Gradle Test Executor 1
|
1 |
1 |
0 |
26m20.24s |
0% |
|
de.uka.ilkd.key.java.TestContextStatementBlock
|
1 |
1 |
0 |
20.383s |
0% |
|
de.uka.ilkd.key.java.TestJP2KeY
|
12 |
1 |
0 |
0.220s |
91% |
|
de.uka.ilkd.key.java.TestJavaCardDLJavaExtensions
|
2 |
1 |
0 |
1.611s |
50% |
|
de.uka.ilkd.key.java.TestJavaInfo
|
9 |
0 |
0 |
0.027s |
100% |
|
de.uka.ilkd.key.java.visitor.TestDeclarationProgramVariableCollector
|
1 |
1 |
0 |
12.555s |
0% |
|
de.uka.ilkd.key.logic.LabeledTermImplTest
|
2 |
0 |
0 |
0.004s |
100% |
|
de.uka.ilkd.key.logic.TestClashFreeSubst
|
14 |
0 |
2 |
0.173s |
100% |
|
de.uka.ilkd.key.logic.TestLocalSymbols
|
2 |
1 |
0 |
4m38.13s |
50% |
|
de.uka.ilkd.key.logic.TestName
|
1 |
0 |
0 |
0.013s |
100% |
|
de.uka.ilkd.key.logic.TestNamespace
|
4 |
0 |
0 |
0.002s |
100% |
|
de.uka.ilkd.key.logic.TestPosInOcc
|
2 |
0 |
0 |
0.003s |
100% |
|
de.uka.ilkd.key.logic.TestPosInProgram
|
31 |
0 |
0 |
0.054s |
100% |
|
de.uka.ilkd.key.logic.TestPosInTerm
|
7 |
0 |
0 |
0.012s |
100% |
|
de.uka.ilkd.key.logic.TestSemisequent
|
15 |
0 |
0 |
0.021s |
100% |
|
de.uka.ilkd.key.logic.TestSyntacticalReplaceVisitor
|
2 |
0 |
0 |
0.006s |
100% |
|
de.uka.ilkd.key.logic.TestTerm
|
9 |
0 |
0 |
0.020s |
100% |
|
de.uka.ilkd.key.logic.TestTermBuilder
|
6 |
0 |
0 |
2.314s |
100% |
|
de.uka.ilkd.key.logic.TestTermFactory
|
19 |
0 |
0 |
0.020s |
100% |
|
de.uka.ilkd.key.logic.TestTermLabelManager
|
3 |
2 |
1 |
20m49.56s |
0% |