Package: StateInit

StateInit

name	instruction	branch	complexity	line	method
StateInit(IRInfo)	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%
caseAStateDeclIR(AStateDeclIR)	M: 33 C: 0 0%	M: 4 C: 0 0%	M: 3 C: 0 0%	M: 8 C: 0 0%	M: 1 C: 0 0%
makeExecutableInit(AStateDeclIR)	M: 25 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 6 C: 0 0%	M: 1 C: 0 0%

Coverage

ERROR: Error while reading the sourcefile!