Package: NonDetStmTrans

NonDetStmTrans

nameinstructionbranchcomplexitylinemethod
NonDetStmTrans(TransAssistantIR)
M: 0 C: 12
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
caseANonDeterministicBlockStmIR(ANonDeterministicBlockStmIR)
M: 11 C: 39
78%
M: 1 C: 1
50%
M: 1 C: 1
50%
M: 1 C: 9
90%
M: 0 C: 1
100%

Coverage

ERROR: Error while reading the sourcefile!