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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	9,756 of 32,362	70%	1,447 of 3,682	61%	1,061	2,253	2,255	7,725	61	378	3	27
OpenMP2CIVLWorker		69%		57%	270	489	728	2,210	2	38	0	1
OpenMPSimplifierWorker		53%		41%	184	261	274	650	10	28	0	1
DirectingWorker		0%		0%	55	55	206	206	10	10	1	1
IntOperationWorker		48%		70%	46	107	186	387	4	15	0	1
BaseWorker		68%		59%	85	188	165	510	5	49	0	1
OpenMPOrphanWorker		36%		32%	62	87	142	222	4	10	0	1
OpenMPParallelRegions		0%		0%	44	44	103	103	8	8	1	1
Pthread2CIVLWorker		84%		79%	60	199	93	594	5	33	0	1
SvcompUnPPWorker		78%		70%	58	141	79	365	0	18	0	1
ShortCircuitTransformerWorker		78%		85%	21	90	53	283	3	26	0	1
GeneralWorker		86%		85%	21	92	49	384	1	16	0	1
MacroWorker		10%		8%	18	21	51	58	1	3	0	1
IOWorker		91%		68%	59	147	40	514	0	24	0	1
SvcompWorker		76%		72%	15	45	40	171	1	11	0	1
LoopContractTransformerWorker		93%		82%	12	57	19	250	1	26	0	1
MPI2CIVLWorker		96%		85%	29	119	11	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
BaseWorker.new Object() {...}		86%		n/a	0	1	0	3	0	1	0	1
LoopContractBlock		89%		72%	6	17	2	37	1	8	0	1
OpenMPSimplifierWorker.new Object() {...}		87%		n/a	0	1	0	3	0	1	0	1
IntOperationWorker.new Object() {...}		87%		n/a	0	1	0	1	0	1	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
LoopContractTransformerWorker.new Object() {...}		88%		n/a	0	1	0	1	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