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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	6,519 of 24,342	73%	1,137 of 2,744	59%	827	1,664	1,246	4,427	35	266	2	19
OpenMP2CIVLWorker		68%		56%	280	490	515	1,544	2	38	0	1
OpenMPSimplifierWorker		60%		49%	138	214	149	463	7	25	0	1
OpenMPOrphanWorker		34%		32%	62	87	124	198	4	10	0	1
Pthread2CIVLWorker		71%		64%	67	158	105	372	5	30	0	1
OpenMPParallelRegions		0%		0%	44	44	99	99	8	8	1	1
SvcompUnPPWorker		72%		58%	49	90	56	213	0	13	0	1
IOWorker		85%		64%	43	109	48	323	0	21	0	1
BaseWorker		84%		67%	55	135	61	277	4	39	0	1
SvcompWorker		79%		68%	28	71	51	200	0	14	0	1
GeneralWorker		92%		76%	16	54	13	179	0	14	0	1
MPI2CIVLWorker		95%		80%	27	104	17	258	1	21	0	1
GeneralWorker.ArgvTypeKind		0%		n/a	4	4	2	2	4	4	1	1
BaseWorker.new Object() {...}		86%		n/a	0	1	0	2	0	1	0	1
Cuda2CIVLWorker		99%		92%	9	73	7	247	0	19	0	1
SvcompWorker.new Object() {...}		86%		n/a	0	1	0	1	0	1	0	1
OpenMPSimplifierWorker.new Object() {...}		87%		n/a	0	1	0	3	0	1	0	1
MacroWorker		100%		88%	5	24	0	50	0	3	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