Package: IsExpSimplifyTrans

IsExpSimplifyTrans

nameinstructionbranchcomplexitylinemethod
IsExpSimplifyTrans(TransAssistantIR)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
caseAGeneralIsExpIR(AGeneralIsExpIR)
M: 17 C: 17
50%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 3 C: 5
63%
M: 0 C: 1
100%
consGeneralIsExp(SExpIR, STypeIR)
M: 0 C: 21
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 6
100%
M: 0 C: 1
100%
consIsExp(SExpIR, STypeIR)
M: 5 C: 132
96%
M: 5 C: 27
84%
M: 5 C: 12
71%
M: 3 C: 36
92%
M: 0 C: 1
100%
consIsExpBasicType(SExpIR, STypeIR)
M: 7 C: 71
91%
M: 2 C: 14
88%
M: 2 C: 7
78%
M: 2 C: 19
90%
M: 0 C: 1
100%
consIsExpQuoteType(SExpIR, AQuoteTypeIR)
M: 0 C: 28
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 8
100%
M: 0 C: 1
100%
consTupleIsExp(SExpIR, STypeIR)
M: 0 C: 17
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 5
100%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!