Package: SInvariantTypeAssistantInterpreter

SInvariantTypeAssistantInterpreter

nameinstructionbranchcomplexitylinemethod
SInvariantTypeAssistantInterpreter(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%
findFunction(AExplicitFunctionDefinition, Context)
M: 6 C: 14
70%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 2 C: 4
67%
M: 0 C: 1
100%
getEquality(SInvariantType, Context)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getInvariant(SInvariantType, Context)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
getOrder(SInvariantType, Context)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!