Add initial test for check_specs.