Package: org.overture.ide.plugins.poviewer.commands

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.ide.plugins.poviewer.commands
M: 61 C: 0
0%
M: 8 C: 0
0%
M: 6 C: 0
0%
M: 17 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
GenerateProofObligationsCommand
M: 61 C: 0
0%
M: 8 C: 0
0%
M: 6 C: 0
0%
M: 17 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%