[Jenkins]Jenkins

Package: org.overture.codegen.trans.conc

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.trans.conc
M: 63 C: 1893
97%
M: 24 C: 112
82%
M: 23 C: 77
77%
M: 23 C: 434
95%
M: 1 C: 31
97%
M: 0 C: 5
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
ConcPrefixes
M: 0 C: 33
100%
M: 0 C: 0
100%
M: 0 C: 16
100%
M: 0 C: 16
100%
M: 0 C: 16
100%
M: 0 C: 1
100%
EvalPermPredTrans
M: 40 C: 209
84%
M: 10 C: 20
67%
M: 9 C: 13
59%
M: 12 C: 48
80%
M: 1 C: 6
86%
M: 0 C: 1
100%
MainClassConcTrans
M: 9 C: 760
99%
M: 8 C: 50
86%
M: 8 C: 26
76%
M: 5 C: 173
97%
M: 0 C: 5
100%
M: 0 C: 1
100%
MutexDeclTrans
M: 1 C: 416
100%
M: 2 C: 24
92%
M: 2 C: 13
87%
M: 1 C: 93
99%
M: 0 C: 2
100%
M: 0 C: 1
100%
SentinelTrans
M: 13 C: 475
97%
M: 4 C: 18
82%
M: 4 C: 9
69%
M: 5 C: 104
95%
M: 0 C: 2
100%
M: 0 C: 1
100%