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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	1,887 of 4,975	62%	139 of 333	58%	140	258	423	1,094	30	86	4	15
UserInterface		54%		49%	81	125	269	555	9	30	0	1
Verifier.WebUpdater		0%		0%	6	6	43	43	5	5	1	1
Verifier		75%		68%	15	32	33	136	2	8	0	1
ModelTranslator		82%		69%	20	51	31	188	2	13	0	1
TracePlayer		55%		66%	8	15	26	60	5	9	0	1
CommandLine.CommandName		0%		n/a	2	2	2	2	2	2	1	1
Verifier.new Runnable() {...}		0%		0%	3	3	12	12	2	2	1	1
Player		95%		75%	3	10	4	68	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