File	Line Coverage			Functions
bitvector_encoding.rs	0%	0%	0 / 22	0%	0 / 18
smt_rules.rs	0%	0%	0 / 143	0%	0 / 36