File	Line Coverage			Functions		Branches
build_tests.rs	100%	100%	5 / 5	100%	1 / 1	100%	0 / 0
miri_aterm.rs	100%	100%	67 / 67	100%	9 / 9	100%	0 / 0