dev.civl.mc.transform.IF

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total75 of 92891%11 of 3265%1810312161887232
TransformerFactory.new TransformRecord() {...}290%20%33442211
TransformerFactory2319189%12100%32634132001
DirectingTransformer200%n/a22442211
Transforms3562%n/a12121201
LoopContractTransformer49100%n/a03060301
ContractTransformer37100%n/a03070301
TransformerFactory.new TransformRecord() {...}34100%1150%13040201
TransformerFactory.new TransformRecord() {...}29100%1150%13040201
TransformerFactory.new TransformRecord() {...}29100%1150%13040201
TransformerFactory.new TransformRecord() {...}29100%1150%13040201
IntOperationTransformer27100%n/a02060201
SvcompTransformer25100%n/a03060301
OpenMP2CIVLTransformer25100%n/a03060301
TransformerFactory.new TransformRecord() {...}24100%n/a02020201
TransformerFactory.new TransformRecord() {...}24100%1150%13040201
TransformerFactory.new TransformRecord() {...}24100%1150%13040201
TransformerFactory.new TransformRecord() {...}24100%1150%13040201
TransformerFactory.new TransformRecord() {...}24100%1150%13040201
TransformerFactory.new TransformRecord() {...}24100%1150%13040201
IOTransformer20100%n/a02040201
Cuda2CIVLTransformer20100%n/a03050301
OpenMPSimplifier20100%n/a02040201
MacroTransformer20100%n/a02040201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
TransformerFactory.new TransformRecord() {...}19100%n/a02020201
ShortCircuitTransformer17100%n/a02040201
AnnotationTransformer16100%n/a02030201
Pthread2CIVLTransformer15100%n/a02030201
GeneralTransformer15100%n/a02030201
MPI2CIVLTransformer15100%n/a02030201
TransformerFactory.new TransformRecord() {...}14100%n/a02020201
Created with JaCoCo 0.8.8.202204050719