A mettle-based compilation-test framework