UserInterface

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	1,058 of 1,895	44%	125 of 172	27%	102	120	222	380	14	28
runReplay(GMCConfiguration)		0%		0%	4	4	36	36	1	1
runCompare(GMCConfiguration)		0%		0%	9	9	39	39	1	1
runMain(String[])		29%		18%	25	26	26	38	0	1
printCommand(GMCConfiguration)		0%		0%	8	8	25	25	1	1
runRun(GMCConfiguration)		0%		0%	2	2	17	17	1	1
applyTransformers(String, Program, Preprocessor)		50%		43%	11	16	14	35	0	1
printUsage(PrintStream)		0%		n/a	1	1	12	12	1	1
runVerify(GMCConfiguration)		66%		50%	1	2	10	27	0	1
extractPaths(String)		15%		25%	2	3	6	8	0	1
runParse(GMCConfiguration)		0%		0%	2	2	6	6	1	1
getFrontEnd(String, GMCConfiguration)		79%		38%	4	5	3	19	0	1
extractModel(PrintStream, GMCConfiguration, String, ModelBuilder)		77%		42%	12	13	4	19	0	1
checkFilenames(int, GMCConfiguration)		36%		50%	2	3	2	6	0	1
setToDefault(GMCConfiguration, Collection)		0%		0%	2	2	3	3	1	1
run(String[])		21%		n/a	0	1	5	6	0	1
runPreprocess(GMCConfiguration)		0%		n/a	1	1	3	3	1	1
run(Collection)		0%		n/a	1	1	1	1	1	1
extractModel(PrintStream, GMCConfiguration, String, ModelFactory)		0%		n/a	1	1	1	1	1	1
run(String)		0%		n/a	1	1	2	2	1	1
preprocess(PrintStream, GMCConfiguration, String)		0%		n/a	1	1	2	2	1	1
setToDefault(GMCConfiguration, Option)		0%		n/a	1	1	2	2	1	1
runHelp(GMCConfiguration)		0%		n/a	1	1	2	2	1	1
static {...}		99%		50%	1	2	0	30	0	1
showShortFileNameList(GMCConfiguration)		96%		50%	7	8	1	10	0	1
UserInterface()		100%		n/a	0	1	0	7	0	1
printStats(PrintStream, SymbolicUniverse)		100%		n/a	0	1	0	14	0	1
coreName(String)		100%		50%	2	3	0	9	0	1
extractModel(PrintStream, GMCConfiguration, String, SymbolicUniverse)		100%		n/a	0	1	0	1	0	1