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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	15,118 of 34,337	56%	1,833 of 3,737	51%	1,310	2,299	3,383	8,010	145	392	7	25
ContractTransformerWorker		0%		0%	355	355	1,439	1,439	82	82	1	1
OpenMP2CIVLWorker		68%		56%	283	498	754	2,236	2	39	0	1
DirectingWorker		0%		0%	55	55	206	206	10	10	1	1
OpenMPSimplifierWorker		60%		49%	138	215	171	530	7	25	0	1
BaseWorker		66%		56%	87	180	164	482	6	46	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		83%		77%	55	175	82	509	5	32	0	1
SvcompWorker		70%		68%	27	67	67	216	0	13	0	1
IOWorker		89%		68%	59	146	48	502	0	24	0	1
SvcompUnPPWorker		80%		69%	43	105	67	295	0	15	0	1
GeneralWorker		84%		85%	16	78	46	293	1	16	0	1
ContractTransformerWorker.new Object() {...}		0%		n/a	1	1	5	5	1	1	1	1
ContractTransformerWorker.ConditionalClauses		0%		0%	15	15	41	41	9	9	1	1
ContractTransformerWorker.ParsedContractBlock		0%		0%	19	19	28	28	6	6	1	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
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
IntDivWorker		98%		88%	7	33	1	83	0	4	0	1
MacroWorker		100%		97%	1	21	0	58	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