Package: ModuleListAssistantInterpreter

ModuleListAssistantInterpreter

name	instruction	branch	complexity	line	method
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!