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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	7,043 of 27,700	74%	1,243 of 3,126	60%	936	2,040	1,681	6,658	74	432	5	30
IntOperationWorker.java		39%		55%	67	106	220	366	6	15	0	1
OpenMPOrphanWorker2.java		0%		0%	87	87	223	223	10	10	1	1
BaseWorker.java		62%		56%	88	191	188	523	8	50	0	1
OpenMPSimplifierWorker2.java		68%		51%	137	216	162	550	6	21	0	1
Pthread2CIVLWorker.java		73%		68%	79	201	161	600	6	35	0	2
OpenMPAtomicAnalyzer.java		0%		0%	60	60	121	121	19	19	2	2
OpenMP2CIVLWorker2.java		90%		60%	130	299	99	1,037	1	80	0	6
OpenMPParallelRegions.java		0%		0%	44	44	103	103	8	8	1	1
DirectingWorker.java		68%		48%	32	53	67	206	1	10	0	1
ShortCircuitTransformerWorker.java		79%		84%	26	108	55	307	4	31	0	2
LogicFunctionTransformer.java		71%		64%	25	61	49	199	1	15	0	2
GeneralWorker.java		86%		87%	22	107	49	423	2	18	1	2
SvcompWorker.java		60%		60%	18	39	55	150	1	10	0	1
MacroWorker.java		9%		8%	18	21	51	58	1	3	0	1
IOWorker.java		91%		69%	58	151	41	535	0	25	0	1
MPI2CIVLWorker.java		96%		90%	14	93	10	356	0	18	0	1
Cuda2CIVLWorker.java		97%		88%	12	83	14	460	0	22	0	1
OpenMPOrphanWorker.java		95%		89%	8	47	6	126	0	8	0	1
LoopContractTransformerWorker.java		98%		88%	6	56	6	278	0	26	0	1
LoopContractBlock.java		90%		72%	5	17	1	37	0	8	0	1