Package: ModuleListAssistantInterpreter

ModuleListAssistantInterpreter

nameinstructionbranchcomplexitylinemethod
ModuleListAssistantInterpreter(IInterpreterAssistantFactory)
M: 0 C: 7
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
createInitialContext(ModuleList)
M: 0 C: 29
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
getProofObligations(ModuleList)
M: 26 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
initialize(RootContext, ModuleList, DBGPReader)
M: 8 C: 92
92%
M: 4 C: 16
80%
M: 4 C: 7
64%
M: 3 C: 22
88%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!