Package: RecModUtil

RecModUtil

name	instruction	branch	complexity	line	method
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!