edu.udel.cis.vsl.civl.transform.IF

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total76 of 94492%13 of 3462%2010912170892234
TransformerFactory.new TransformRecord() {...}300%20%33442211
TransformerFactory2319890%11192%42734232101
DirectingTransformer200%n/a22442211
Transforms3562%n/a12121201
TransformerFactory.new TransformRecord() {...}35100%1150%13040201
TransformerFactory.new TransformRecord() {...}30100%1150%13040201
TransformerFactory.new TransformRecord() {...}30100%1150%13040201
IntOperationTransformer27100%n/a02060201
SvcompTransformer25100%n/a03060301
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
ContractTransformer25100%n/a02060201
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
OpenMP2CIVLTransformer25100%n/a03060301
TransformerFactory.new TransformRecord() {...}24100%n/a02020201
OpenMPSimplifier20100%n/a02040201
OpenMPOrphanTransformer20100%n/a03050301
SvcompUnPPTransformer20100%n/a03050301
IOTransformer20100%n/a02040201
Cuda2CIVLTransformer20100%n/a03050301
MacroTransformer20100%n/a02040201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
ShortCircuitTransformer17100%n/a02040201
LoopContractTransformer16100%n/a02040201
GeneralTransformer15100%n/a02030201
MPI2CIVLTransformer15100%n/a02030201
Pthread2CIVLTransformer15100%n/a02030201
TransformerFactory.new TransformRecord() {...}14100%n/a02020201
Created with JaCoCo 0.7.5.201505241946