DesignTests

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	62 of 62	0%	0 of 0	n/a	16	16	29	29	16	16
getSpecFile()		0%		n/a	1	1	1	1	1	1
test001()		0%		n/a	1	1	2	2	1	1
test002()		0%		n/a	1	1	2	2	1	1
test003()		0%		n/a	1	1	2	2	1	1
test004()		0%		n/a	1	1	2	2	1	1
test005()		0%		n/a	1	1	2	2	1	1
test006()		0%		n/a	1	1	2	2	1	1
test007()		0%		n/a	1	1	2	2	1	1
test008()		0%		n/a	1	1	2	2	1	1
test009()		0%		n/a	1	1	2	2	1	1
test010()		0%		n/a	1	1	2	2	1	1
test011()		0%		n/a	1	1	2	2	1	1
test012()		0%		n/a	1	1	2	2	1	1
test013()		0%		n/a	1	1	2	2	1	1
DesignTests()		0%		n/a	1	1	1	1	1	1
suite()		0%		n/a	1	1	1	1	1	1