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

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	2,192 of 4,811	54%	180 of 346	48%	174	270	477	1,025	37	88	4	15
UserInterface		45%		36%	104	135	299	516	11	28	0	1
Verifier.WebUpdater		0%		0%	6	6	43	43	5	5	1	1
Verifier		60%		65%	17	31	45	119	3	8	0	1
ModelTranslator		79%		63%	25	51	38	182	2	13	0	1
TracePlayer		54%		67%	8	15	28	63	5	9	0	1
CommandLine.CommandName		0%		n/a	4	4	2	2	4	4	1	1
Verifier.new Runnable() {...}		0%		0%	3	3	12	12	2	2	1	1
Player		92%		70%	4	9	7	58	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
CommandLine.CommandLineKind		87%		n/a	1	4	0	2	1	4	0	1
Verifier.SearchUpdater		100%		n/a	0	2	0	14	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