Package: OrderedObligation

OrderedObligation

nameinstructionbranchcomplexitylinemethod
OrderedObligation(SBinaryExp, List, IPOContextStack, IPogAssistantFactory)
M: 0 C: 27
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
makeIsType(PExp, PExp, PType)
M: 0 C: 18
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
stitchIsExps(List, PExp, PExp)
M: 0 C: 32
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 5
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!