Package: org.polarsys.kitalpha.ad.viewpoint.dsl.generation.launcher.modelchecking

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.polarsys.kitalpha.ad.viewpoint.dsl.generation.launcher.modelchecking
M: 76 C: 25
25%
M: 6 C: 2
25%
M: 5 C: 2
29%
M: 11 C: 7
39%
M: 1 C: 2
67%
M: 0 C: 1
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
VpSpecModelsCheckerTask
M: 76 C: 25
25%
M: 6 C: 2
25%
M: 5 C: 2
29%
M: 11 C: 7
39%
M: 1 C: 2
67%
M: 0 C: 1
100%