org.osate.verify.typing

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	1,312 of 2,369	44%	16 of 42	61%	57	99	206	388	41	78	0	7
VerifyTypeSystem.java		44%		61%	57	99	206	388	41	78	0	7