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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total135 of 88185%13 of 3259%24103221591387432
TransformerFactory3217785%11192%52644042001
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
IntOperationTransformer27100%n/a02060201
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
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
GeneralTransformer15100%n/a02030201
MPI2CIVLTransformer15100%n/a02030201
Pthread2CIVLTransformer15100%n/a02030201
TransformerFactory.new TransformRecord() {...}14100%n/a02020201
Created with JaCoCo 0.7.5.201505241946