edu.udel.cis.vsl.civl.run.IF

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	1,776 of 4,872	63%	131 of 331	60%	133	257	396	1,076	29	86	4	15
UserInterface		56%		51%	78	125	253	555	9	30	0	1
Verifier.WebUpdater		0%		0%	6	6	43	43	5	5	1	1
Verifier		74%		69%	14	31	31	120	2	8	0	1
ModelTranslator		83%		71%	19	51	30	188	2	13	0	1
CommandLine.CommandName		0%		n/a	2	2	2	2	2	2	1	1
TracePlayer		70%		83%	6	15	18	61	4	9	0	1
Verifier.new Runnable() {...}		0%		0%	3	3	12	12	2	2	1	1
Player		95%		75%	3	10	4	65	1	4	0	1
Verifier.new Callable() {...}		0%		n/a	2	2	5	5	2	2	1	1
UserInterface.new Object() {...}		88%		n/a	0	1	0	2	0	1	0	1
Verifier.SearchUpdater		100%		n/a	0	2	0	14	0	2	0	1
CommandLine.CommandLineKind		100%		n/a	0	2	0	2	0	2	0	1
Verifier.UpdaterRunnable		100%		100%	0	3	0	9	0	2	0	1
Player.new OutputStream() {...}		100%		n/a	0	2	0	2	0	2	0	1
UserInterface.new OutputStream() {...}		100%		n/a	0	2	0	2	0	2	0	1