dev.civl.mc.transform.IF

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	17 of 769	97%	9 of 30	70%	12	86	3	133	3	71	0	26
TransformerFactory.java		97%		70%	11	56	2	77	2	41	0	13
Transforms.java		62%		n/a	1	2	1	2	1	2	0	1
LoopContractTransformer.java		100%		n/a	0	3	0	6	0	3	0	1
ContractTransformer.java		100%		n/a	0	3	0	7	0	3	0	1
IntOperationTransformer.java		100%		n/a	0	2	0	6	0	2	0	1
OpenMP2CIVLTransformer.java		100%		n/a	0	3	0	6	0	3	0	1
IOTransformer.java		100%		n/a	0	2	0	4	0	2	0	1
OpenMPSimplifier.java		100%		n/a	0	2	0	4	0	2	0	1
Cuda2CIVLTransformer.java		100%		n/a	0	3	0	5	0	3	0	1
ShortCircuitTransformer.java		100%		n/a	0	2	0	4	0	2	0	1
AnnotationTransformer.java		100%		n/a	0	2	0	3	0	2	0	1
Pthread2CIVLTransformer.java		100%		n/a	0	2	0	3	0	2	0	1
GeneralTransformer.java		100%		n/a	0	2	0	3	0	2	0	1
MPI2CIVLTransformer.java		100%		n/a	0	2	0	3	0	2	0	1