org.checkerframework.checker.nullness

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods	Missed	Classes
Total	275 of 275	0%	52 of 52	0%	51	51	51	51	25	25	2	2
NullnessUtil.java		0%		0%	33	33	31	31	16	16	1	1
Opt.java		0%		0%	18	18	20	20	9	9	1	1