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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	16,854 of 37,966	56%	1,998 of 4,127	52%	1,455	2,566	3,762	8,888	186	465	11	32
ContractTransformerWorker.java		0%		0%	389	389	1,503	1,503	98	98	4	4
OpenMP2CIVLWorker.java		68%		56%	279	491	749	2,211	2	40	0	2
DirectingWorker.java		0%		0%	55	55	206	206	10	10	1	1
OpenMPSimplifierWorker.java		59%		46%	151	229	195	555	8	27	0	2
IntOperationWorker.java		49%		70%	46	108	185	387	4	16	0	2
BaseWorker.java		68%		57%	87	185	164	489	6	48	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		84%		79%	60	201	93	595	5	35	0	2
ContractBlock.java		0%		0%	39	39	74	74	20	20	2	2
GeneralWorker.java		80%		81%	28	95	64	380	5	20	1	2
SvcompUnPPWorker.java		78%		70%	58	141	79	365	0	18	0	1
MacroWorker.java		10%		8%	18	21	51	58	1	3	0	1
IOWorker.java		91%		68%	59	147	40	514	0	24	0	1
ShortCircuitTransformerWorker.java		88%		89%	15	84	31	273	3	28	0	3
SvcompWorker.java		76%		72%	15	45	40	171	1	11	0	1
MPI2CIVLWorker.java		96%		85%	29	119	11	357	0	18	0	1
ContractClauseTransformer.java		0%		n/a	11	11	19	19	11	11	2	2
Cuda2CIVLWorker.java		98%		89%	10	75	13	406	0	20	0	1