Package: AModuleModulesAssistantInterpreter

AModuleModulesAssistantInterpreter

name	instruction	branch	complexity	line	method
AModuleModulesAssistantInterpreter(IInterpreterAssistantFactory)	M: 0 C: 8 100%	M: 0 C: 0 100%	M: 0 C: 1 100%	M: 0 C: 3 100%	M: 0 C: 1 100%
findExpression(AModuleModules, File, int)	M: 16 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 3 C: 0 0%	M: 1 C: 0 0%
findExpression(CombinedDefaultModule, File, int)	M: 24 C: 0 0%	M: 4 C: 0 0%	M: 3 C: 0 0%	M: 6 C: 0 0%	M: 1 C: 0 0%
findExpression(ModuleListInterpreter, File, int)	M: 36 C: 0 0%	M: 6 C: 0 0%	M: 4 C: 0 0%	M: 9 C: 0 0%	M: 1 C: 0 0%
findStatement(AModuleModules, File, int)	M: 16 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 3 C: 0 0%	M: 1 C: 0 0%
findStatement(CombinedDefaultModule, File, int)	M: 24 C: 0 0%	M: 4 C: 0 0%	M: 3 C: 0 0%	M: 6 C: 0 0%	M: 1 C: 0 0%
findStatement(ModuleListInterpreter, File, int)	M: 36 C: 0 0%	M: 6 C: 0 0%	M: 4 C: 0 0%	M: 9 C: 0 0%	M: 1 C: 0 0%
getProofObligations(AModuleModules)	M: 3 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
getStateContext(AModuleModules)	M: 0 C: 15 100%	M: 0 C: 2 100%	M: 0 C: 2 100%	M: 0 C: 4 100%	M: 0 C: 1 100%
initialize(AModuleModules, StateContext)	M: 24 C: 87 78%	M: 3 C: 11 79%	M: 3 C: 5 63%	M: 9 C: 24 73%	M: 0 C: 1 100%

Coverage

ERROR: Error while reading the sourcefile!