edu.udel.cis.vsl.civl.transform.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	10,922 of 35,148	69%	1,599 of 3,918	59%	1,168	2,417	2,503	8,346	73	423	5	32
OpenMP2CIVLWorker.java		69%		57%	269	491	719	2,211	2	40	0	2
OpenMPSimplifierWorker.java		54%		41%	191	271	275	656	10	29	0	2
DirectingWorker.java		0%		0%	55	55	206	206	10	10	1	1
IntOperationWorker.java		35%		56%	68	107	220	365	7	16	1	2
OpenMPOrphanWorker2.java		0%		0%	87	87	223	223	10	10	1	1
BaseWorker.java		69%		57%	88	190	172	521	5	50	0	2
OpenMPParallelRegions.java		0%		0%	44	44	103	103	8	8	1	1
Pthread2CIVLWorker.java		82%		79%	59	201	105	595	5	35	0	2
LoopContractTransformerWorker.java		85%		67%	27	89	85	496	4	47	0	3
ShortCircuitTransformerWorker.java		79%		85%	23	99	55	300	4	31	0	3
SvcompUnPPWorker.java		78%		70%	58	141	79	365	0	18	0	1
GeneralWorker.java		85%		88%	24	109	49	424	5	21	1	2
LogicFunctionTransformer.java		72%		63%	24	58	47	191	1	15	0	3
MacroWorker.java		10%		8%	18	21	51	58	1	3	0	1
IOWorker.java		91%		69%	60	151	41	535	0	25	0	1
SvcompWorker.java		76%		72%	15	45	40	171	1	11	0	1
MPI2CIVLWorker.java		97%		86%	27	119	10	357	0	18	0	1
Cuda2CIVLWorker.java		98%		89%	10	75	13	406	0	20	0	1
OpenMPOrphanWorker.java		92%		78%	16	47	9	126	0	8	0	1
LoopContractBlock.java		91%		72%	5	17	1	37	0	8	0	1