dev.civl.abc.main

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	1,960 of 3,374	41%	232 of 314	26%	180	287	550	890	47	129	2	10
ABC		0%		0%	63	64	271	274	6	7	0	1
ABCExecutor		50%		38%	56	81	133	266	9	24	0	1
Summarizer		0%		0%	19	19	59	59	6	6	1	1
TranslationTask		72%		57%	17	50	29	109	12	43	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