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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	9,661 of 35,405	72%	1,465 of 3,772	61%	1,104	2,360	2,183	8,215	62	432	4	35
OpenMP2CIVLWorker		76%		63%	254	524	556	2,293	1	46	0	1
OpenMPSimplifierWorker		57%		44%	196	287	255	684	5	29	0	1
IntOperationWorker		36%		55%	67	106	220	365	6	15	0	1
OpenMPOrphanWorker2		0%		0%	87	87	223	223	10	10	1	1
BaseWorker		61%		54%	94	189	199	521	9	49	0	1
LoopContractTransformerWorker		80%		70%	24	86	101	499	4	44	0	1
OpenMPParallelRegions		0%		0%	44	44	103	103	8	8	1	1
Pthread2CIVLWorker		82%		78%	59	199	105	594	5	33	0	1
DirectingWorker		68%		48%	32	53	67	206	1	10	0	1
ShortCircuitTransformerWorker		78%		85%	21	94	53	288	3	26	0	1
LogicFunctionTransformer		71%		65%	21	55	48	191	1	13	0	1
SvcompWorker		61%		60%	18	39	56	152	1	10	0	1
MacroWorker		9%		8%	18	21	51	58	1	3	0	1
GeneralWorker		87%		87%	21	106	47	424	1	17	0	1
IOWorker		91%		68%	60	151	41	535	0	25	0	1
OpenMPAtomicAnalyzer		76%		60%	31	55	22	111	1	16	0	1
IntOperationWorker.new Object() {...}		0%		n/a	1	1	1	1	1	1	1	1
MPI2CIVLWorker		96%		90%	14	93	10	357	0	18	0	1
Cuda2CIVLWorker		97%		89%	10	75	13	406	0	20	0	1
GeneralWorker.ArgvTypeKind		0%		n/a	2	2	2	2	2	2	1	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() {...}		86%		n/a	0	1	0	4	0	1	0	1
OpenMPAtomicAnalyzer.new Object() {...}		86%		n/a	0	1	0	2	0	1	0	1
OpenMP2CIVLWorker.new Object() {...}		86%		n/a	0	1	0	3	0	1	0	1
LoopContractBlock		90%		72%	5	17	1	37	0	8	0	1
OpenMPAtomicAnalyzer.OpenMPAtomicAnalysis		61%		50%	3	5	3	10	1	3	0	1
ShortCircuitTransformerWorker.new Object() {...}		86%		n/a	0	1	0	1	0	1	0	1
ShortCircuitTransformerWorker.ShortCircuitOperation		86%		75%	2	6	2	14	1	4	0	1
LogicFunctionTransformer.Pointer		86%		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