dev.civl.abc.main

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	1,942 of 3,317	41%	228 of 308	25%	179	282	543	866	49	127	2	10
ABC		1%		0%	62	63	263	266	6	7	0	1
ABCExecutor		50%		38%	55	80	130	256	9	24	0	1
Summarizer		0%		0%	19	19	59	59	6	6	1	1
TranslationTask		69%		58%	18	47	33	103	14	41	0	1
ProverExample		0%		0%	5	5	23	23	2	2	1	1
UnitTask		57%		40%	13	24	20	46	9	19	0	1
FrontEnd		88%		80%	7	37	15	97	3	22	0	1
TranslationTask.TranslationStage		100%		n/a	0	1	0	9	0	1	0	1
TranslationTask.1.new Iterator() {...}		100%		100%	0	4	0	7	0	3	0	1
TranslationTask.new Iterable() {...}		100%		n/a	0	2	0	2	0	2	0	1