edu.udel.cis.vsl.abc.ast.node.IF.acsl

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total34 of 37390%9 of 90%918124621109
ExtendedQuantifiedExpressionNode.java343349%90%91012142301
ContractNode.java99100%n/a010170101
MPIContractExpressionNode.java69100%n/a01030101
DependsEventNode.java33100%n/a01020101
MPIContractAbsentEventNode.java27100%n/a01020101
MPICollectiveBlockNode.java21100%n/a01020101
MemoryEventNode.java21100%n/a01020101
CompositeEventNode.java21100%n/a01020101
MPIContractConstantNode.java15100%n/a01020101