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		69%		57%	269	489	719	2,210	2	38	0	1
OpenMPSimplifierWorker		52%		41%	191	270	276	656	10	28	0	1
DirectingWorker		0%		0%	55	55	206	206	10	10	1	1
IntOperationWorker		36%		56%	67	106	220	365	6	15	0	1
OpenMPOrphanWorker2		0%		0%	87	87	223	223	10	10	1	1
BaseWorker		67%		57%	88	189	173	521	5	49	0	1
OpenMPParallelRegions		0%		0%	44	44	103	103	8	8	1	1
Pthread2CIVLWorker		82%		79%	59	199	105	594	5	33	0	1
LoopContractTransformerWorker		84%		67%	27	87	85	489	4	45	0	1
SvcompUnPPWorker		78%		70%	58	141	79	365	0	18	0	1
ShortCircuitTransformerWorker		79%		85%	21	92	53	286	3	26	0	1
LogicFunctionTransformer		71%		64%	20	51	47	184	1	12	0	1
MacroWorker		10%		8%	18	21	51	58	1	3	0	1
GeneralWorker		88%		88%	20	105	47	422	1	17	0	1
IOWorker		91%		69%	60	151	41	535	0	25	0	1
SvcompWorker		76%		72%	15	45	40	171	1	11	0	1
IntOperationWorker.new Object() {...}		0%		n/a	1	1	1	1	1	1	1	1
MPI2CIVLWorker		97%		86%	27	119	10	357	0	18	0	1
GeneralWorker.ArgvTypeKind		0%		n/a	4	4	2	2	4	4	1	1
Cuda2CIVLWorker		98%		89%	10	75	13	406	0	20	0	1
OpenMPOrphanWorker		92%		78%	16	47	9	126	0	8	0	1
BaseWorker.new Object() {...}		86%		n/a	0	1	0	3	0	1	0	1
OpenMPSimplifierWorker.new Object() {...}		87%		n/a	0	1	0	3	0	1	0	1
LoopContractBlock		91%		72%	5	17	1	37	0	8	0	1
ShortCircuitTransformerWorker.new Object() {...}		87%		n/a	0	1	0	1	0	1	0	1
ShortCircuitTransformerWorker.ShortCircuitOperation		87%		75%	2	6	2	14	1	4	0	1
LogicFunctionTransformer.Pointer		87%		50%	4	6	0	7	0	2	0	1
LogicFunctionTransformer.new Object() {...}		88%		n/a	0	1	0	1	0	1	0	1
LoopContractTransformerWorker.new Object() {...}		88%		n/a	0	1	0	1	0	1	0	1
LoopContractTransformerWorker.AuxiliaryVariableNames		100%		n/a	0	1	0	7	0	1	0	1
Pthread2CIVLWorker.new NodePredicate() {...}		100%		n/a	0	2	0	2	0	2	0	1
OpenMP2CIVLWorker.new NodePredicate() {...}		100%		n/a	0	2	0	2	0	2	0	1