Package: RecModUtil

RecModUtil

nameinstructionbranchcomplexitylinemethod
RecModUtil(RecModHandler)
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%
assertRec(SExpIR)
M: 3 C: 30
91%
M: 3 C: 3
50%
M: 3 C: 1
25%
M: 1 C: 5
83%
M: 0 C: 1
100%
consValidRecCheck(SExpIR, String, ARecordTypeIR)
M: 0 C: 95
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 21
100%
M: 0 C: 1
100%
handleRecAssert(SExpIR, String, ARecordTypeIR)
M: 0 C: 10
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
simpleRecSetCallOutsideAtomic(ACallObjectExpStmIR)
M: 4 C: 34
89%
M: 3 C: 7
70%
M: 3 C: 3
50%
M: 2 C: 9
82%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!