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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total135 of 83184%14 of 3459%2599221521382430
TransformerFactory3216784%11192%52543941901
TransformerFactory.new TransformRecord() {...}300%20%33442211
TransformerFactory.new TransformRecord() {...}300%20%33442211
ContractTransformer200%n/a22552211
DirectingTransformer200%n/a22442211
Transforms3562%n/a12121201
TransformerFactory.new TransformRecord() {...}30100%1150%13040201
TransformerFactory.new TransformRecord() {...}30100%1150%13040201
SvcompTransformer25100%n/a03060301
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
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
TransformerFactory.new TransformRecord() {...}25100%1150%13040201
OpenMP2CIVLTransformer25100%n/a03060301
IntDivisionTransformer22100%n/a02050201
OpenMPSimplifier20100%n/a02040201
OpenMPOrphanTransformer20100%n/a03050301
SvcompUnPPTransformer20100%n/a03050301
Cuda2CIVLTransformer20100%n/a03050301
MacroTransformer20100%n/a02040201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
GeneralTransformer15100%n/a02030201
MPI2CIVLTransformer15100%n/a02030201
IOTransformer15100%n/a02030201
Pthread2CIVLTransformer15100%n/a02030201
Created with JaCoCo 0.7.5.201505241946