CommonCivlParForSpawnStatement

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total93 of 15339%12 of 120%10212241415
equals(Object)370%120%779911
toString()310%n/a117711
freeVariables()230%n/a115511
replaceWith(ConditionalExpression, Expression)20%n/a111111
CommonCivlParForSpawnStatement(CIVLSource, Location, Expression, Expression, VariableExpression, VariableExpression, CIVLFunction)22100%n/a010601
dimension()6100%n/a010201
variableAddressedOf(Scope)5100%n/a010101
calculateConstantValueWork(SymbolicUniverse)5100%n/a010201
variableAddressedOf()4100%n/a010101
setParProcFunction(CIVLFunction)4100%n/a010201
parProcFunction()3100%n/a010101
domain()3100%n/a010101
domSizeVar()3100%n/a010101
parProcsVar()3100%n/a010101
statementKind()2100%n/a010101