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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	9,996 of 32,325	69%	1,477 of 3,680	60%	1,086	2,252	2,293	7,703	64	378	4	27
OpenMP2CIVLWorker.java		69%		57%	270	491	728	2,211	2	40	0	2
OpenMPSimplifierWorker.java		55%		41%	184	262	273	650	10	29	0	2
DirectingWorker.java		0%		0%	55	55	206	206	10	10	1	1
IntOperationWorker.java		34%		55%	69	107	221	365	7	16	1	2
BaseWorker.java		70%		58%	87	189	166	510	5	50	0	2
OpenMPOrphanWorker.java		36%		32%	62	87	142	222	4	10	0	1
OpenMPParallelRegions.java		0%		0%	44	44	103	103	8	8	1	1
Pthread2CIVLWorker.java		84%		79%	60	201	93	595	5	35	0	2
ShortCircuitTransformerWorker.java		79%		84%	23	97	55	297	4	31	0	3
SvcompUnPPWorker.java		78%		70%	58	141	79	365	0	18	0	1
GeneralWorker.java		84%		85%	25	96	51	386	5	20	1	2
MacroWorker.java		10%		8%	18	21	51	58	1	3	0	1
IOWorker.java		91%		68%	59	147	40	514	0	24	0	1
SvcompWorker.java		76%		72%	15	45	40	171	1	11	0	1
LoopContractTransformerWorker.java		93%		82%	12	58	19	250	1	27	0	2
MPI2CIVLWorker.java		96%		85%	29	119	11	357	0	18	0	1
Cuda2CIVLWorker.java		98%		89%	10	75	13	406	0	20	0	1
LoopContractBlock.java		89%		72%	6	17	2	37	1	8	0	1