Package: org.overture.ide.plugins.poviewer

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.plugins.poviewer
M: 568 C: 0
0%
M: 58 C: 0
0%
M: 56 C: 0
0%
M: 143 C: 0
0%
M: 27 C: 0
0%
M: 5 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
Activator
M: 24 C: 0
0%
M: 0 C: 0
100%
M: 6 C: 0
0%
M: 11 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
IPoviewerConstants
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
PoGeneratorUtil
M: 365 C: 0
0%
M: 50 C: 0
0%
M: 39 C: 0
0%
M: 86 C: 0
0%
M: 14 C: 0
0%
M: 1 C: 0
0%
PoGeneratorUtil$1
M: 81 C: 0
0%
M: 4 C: 0
0%
M: 4 C: 0
0%
M: 14 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
PoGeneratorUtil$2
M: 39 C: 0
0%
M: 4 C: 0
0%
M: 4 C: 0
0%
M: 9 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
ProofObligationPerspectiveFactory
M: 59 C: 0
0%
M: 0 C: 0
100%
M: 3 C: 0
0%
M: 25 C: 0
0%
M: 3 C: 0
0%
M: 1 C: 0
0%