[Jenkins]Jenkins

Package: org.overture.pog.pub

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.pog.pub
M: 20 C: 573
97%
M: 0 C: 2
100%
M: 3 C: 7
70%
M: 5 C: 43
90%
M: 3 C: 6
67%
M: 0 C: 3
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
IPOContext
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%
IPOContextStack
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%
IPogAssistantFactory
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%
IProofObligation
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%
IProofObligationList
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%
POStatus
M: 3 C: 67
96%
M: 0 C: 0
100%
M: 1 C: 2
67%
M: 1 C: 6
86%
M: 1 C: 2
67%
M: 0 C: 1
100%
POType
M: 0 C: 477
100%
M: 0 C: 0
100%
M: 0 C: 3
100%
M: 0 C: 32
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
ProofObligationGenerator
M: 17 C: 29
63%
M: 0 C: 2
100%
M: 2 C: 2
50%
M: 4 C: 5
56%
M: 2 C: 1
33%
M: 0 C: 1
100%