File	Line Coverage			Functions		Branches
image.rs	0%	0%	0 / 58	0%	0 / 22	100%	0 / 0
input_resolver.rs	27.39%	27.39%	86 / 314	20%	8 / 40	100%	0 / 0
prover.rs	0%	0%	0 / 22	0%	0 / 4	100%	0 / 0
util.rs	100%	100%	18 / 18	50%	2 / 4	100%	0 / 0