Automate a check that the message provider tests cover all scenarios in pact file?

Question

In http based provider verification the consumer can be sure that if the provider verifies its code against the pact file (e.g. using the maven verify command), all scenarios (r