Package: org.overture.codegen.vdm2c.distribution

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.codegen.vdm2c.distribution
M: 27 C: 736
96%
M: 14 C: 68
83%
M: 14 C: 43
75%
M: 6 C: 171
97%
M: 1 C: 15
94%
M: 0 C: 3
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
CDistTransSeries
M: 0 C: 58
100%
M: 0 C: 0
100%
M: 0 C: 2
100%
M: 0 C: 12
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
DistCGenUtil
M: 3 C: 95
97%
M: 0 C: 0
100%
M: 1 C: 4
80%
M: 1 C: 28
97%
M: 1 C: 4
80%
M: 0 C: 1
100%
SystemArchitectureAnalysis
M: 24 C: 583
96%
M: 14 C: 68
83%
M: 13 C: 37
74%
M: 5 C: 131
96%
M: 0 C: 9
100%
M: 0 C: 1
100%