ca_verify               Verify strength-t coverage of a covering array
