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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	2,195 of 4,995	56%	148 of 337	56%	150	260	496	1,100	35	86	4	15
UserInterface		47%		46%	88	126	312	558	12	30	0	1
Verifier		52%		64%	17	32	60	136	3	8	0	1
Verifier.WebUpdater		0%		0%	6	6	43	43	5	5	1	1
ModelTranslator		82%		70%	20	52	31	191	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		92%		75%	4	10	7	68	2	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