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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	135 of 881	85%	13 of 32	59%	24	103	22	159	13	87	4	32
TransformerFactory.java		84%		59%	19	66	12	90	8	50	2	16
ContractTransformer.java		0%		n/a	2	2	5	5	2	2	1	1
DirectingTransformer.java		0%		n/a	2	2	4	4	2	2	1	1
Transforms.java		62%		n/a	1	2	1	2	1	2	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
SvcompTransformer.java		100%		n/a	0	3	0	6	0	3	0	1
SvcompUnPPTransformer.java		100%		n/a	0	3	0	5	0	3	0	1
OpenMPOrphanTransformer.java		100%		n/a	0	3	0	5	0	3	0	1
Cuda2CIVLTransformer.java		100%		n/a	0	3	0	5	0	3	0	1
MacroTransformer.java		100%		n/a	0	2	0	4	0	2	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
ShortCircuitTransformer.java		100%		n/a	0	2	0	4	0	2	0	1
GeneralTransformer.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
MPI2CIVLTransformer.java		100%		n/a	0	2	0	3	0	2	0	1