dev.civl.mc.transform.IF

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	75 of 869	91%	11 of 30	63%	18	97	12	152	8	82	2	30
TransformerFactory.new TransformRecord() {...}		0%		0%	3	3	4	4	2	2	1	1
TransformerFactory		88%		91%	4	25	3	40	3	19	0	1
DirectingTransformer		0%		n/a	2	2	4	4	2	2	1	1
Transforms		62%		n/a	1	2	1	2	1	2	0	1
LoopContractTransformer		100%		n/a	0	3	0	5	0	3	0	1
ContractTransformer		100%		n/a	0	3	0	7	0	3	0	1
TransformerFactory.new TransformRecord() {...}		100%		50%	1	3	0	4	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		50%	1	3	0	4	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		50%	1	3	0	4	0	2	0	1
IntOperationTransformer		100%		n/a	0	2	0	6	0	2	0	1
SvcompTransformer		100%		n/a	0	3	0	6	0	3	0	1
OpenMP2CIVLTransformer		100%		n/a	0	3	0	6	0	3	0	1
TransformerFactory.new TransformRecord() {...}		100%		n/a	0	2	0	2	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		50%	1	3	0	4	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		50%	1	3	0	4	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		50%	1	3	0	4	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		50%	1	3	0	4	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		50%	1	3	0	4	0	2	0	1
IOTransformer		100%		n/a	0	2	0	4	0	2	0	1
Cuda2CIVLTransformer		100%		n/a	0	3	0	5	0	3	0	1
OpenMPSimplifier		100%		n/a	0	2	0	4	0	2	0	1
MacroTransformer		100%		n/a	0	2	0	4	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		n/a	0	2	0	2	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		n/a	0	2	0	2	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		n/a	0	2	0	2	0	2	0	1
ShortCircuitTransformer		100%		n/a	0	2	0	4	0	2	0	1
Pthread2CIVLTransformer		100%		n/a	0	2	0	3	0	2	0	1
GeneralTransformer		100%		n/a	0	2	0	3	0	2	0	1
MPI2CIVLTransformer		100%		n/a	0	2	0	3	0	2	0	1
TransformerFactory.new TransformRecord() {...}		100%		n/a	0	2	0	2	0	2	0	1