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.java		0%		0%	390	390	1,508	1,508	98	98	4	4
OpenMP2CIVLWorker.java		68%		56%	283	500	754	2,237	2	41	0	2
DirectingWorker.java		0%		0%	55	55	206	206	10	10	1	1
OpenMPSimplifierWorker.java		62%		49%	138	216	170	530	7	26	0	2
BaseWorker.java		68%		56%	87	181	163	482	6	47	0	2
OpenMPOrphanWorker.java		36%		32%	62	87	142	222	4	10	0	1
OpenMPParallelRegions.java		0%		0%	44	44	103	103	8	8	1	1
Pthread2CIVLWorker.java		83%		77%	55	177	82	510	5	34	0	2
GeneralWorker.java		80%		85%	20	82	48	295	5	20	1	2
SvcompWorker.java		72%		68%	27	68	67	216	0	14	0	2
IOWorker.java		89%		68%	59	146	48	502	0	24	0	1
SvcompUnPPWorker.java		80%		69%	43	105	67	295	0	15	0	1
MPI2CIVLWorker.java		96%		85%	29	119	11	357	0	18	0	1
Cuda2CIVLWorker.java		98%		89%	10	75	13	406	0	20	0	1
IntDivWorker.java		98%		88%	7	33	1	83	0	4	0	1
MacroWorker.java		100%		97%	1	21	0	58	0	3	0	1