DummyInternalKernelServices
DummyInternalKernelServices
|
30.0
30
|
1.0
1
|
0.0
0%
|
0.0
|
HttpProxy
HttpProxy
|
9.0
9
|
2.0
2
|
0.0
0%
|
0.0
|
ProxyThread
ProxyThread
|
10.0
10
|
5.4
5.4
|
0.0
0%
|
0.0
|
DummyPlugin
DummyPlugin
|
4.0
4
|
1.0
1
|
0.25
25%
|
0.25
|
KernelBoEachClassHasATest
KernelBoEachClassHasATest
|
2.0
2
|
1.5
1.5
|
0.6
60%
|
0.6
|
TestingProofCheckerFactoryImpl
TestingProofCheckerFactoryImpl
|
3.0
3
|
4.0
4
|
0.64705884
64.7%
|
0.64705884
|
QedeqBoTestCase
QedeqBoTestCase
|
11.0
11
|
1.5454545
1.55
|
0.8301887
83%
|
0.8301887
|
KernelFacade
KernelFacade
|
3.0
3
|
1.3333334
1.33
|
0.9130435
91.3%
|
0.9130435
|
DummyKernelServices
DummyKernelServices
|
20.0
20
|
1.0
1
|
1.0
100%
|
1.0
|
DummyServiceModule
DummyServiceModule
|
2.0
2
|
1.0
1
|
1.0
100%
|
1.0
|