dev.civl.mc.slice.common

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	5,236 of 5,236	0%	714 of 714	0%	471	471	1,157	1,157	113	113	14	14
DynamicDependence.java		0%		0%	92	92	212	212	15	15	1	1
ErrorAutomaton.java		0%		0%	68	68	178	178	16	16	1	1
ControlDependence.java		0%		0%	62	62	173	173	14	14	1	1
DataDependence.java		0%		0%	80	80	169	169	11	11	1	1
StaticDependence.java		0%		0%	45	45	81	81	10	10	1	1
ControlFlowAutomaton.java		0%		0%	29	29	75	75	2	2	1	1
CommonDominatorAnalysis.java		0%		0%	18	18	55	55	5	5	1	1
SliceAnalysis.java		0%		0%	18	18	48	48	6	6	1	1
CommonSlice.java		0%		0%	13	13	54	54	7	7	1	1
ErrorCfaLoc.java		0%		0%	22	22	46	46	15	15	1	1
CfaLoc.java		0%		0%	13	13	34	34	5	5	1	1
ControlDependencyElement.java		0%		0%	7	7	21	21	4	4	1	1
CfaTransition.java		0%		0%	3	3	6	6	2	2	1	1
CfaTransitionRelation.java		0%		n/a	1	1	5	5	1	1	1	1