greyorange-labs/pact_erlang

AI Summary: The task is to modify the Erlang Pact library's provider verification (`pact_verifier`) to handle scenarios where a single provider has both HTTP and message-based interactions. The current implementation fails when attempting to verify message pacts if HTTP pacts also exist for the same provider. The solution requires enhancing the `pact_verifier` module to selectively verify only message pacts when specified, preventing interference from HTTP pacts during verification.

AI Summary: Modify the Erlang Pact verifier to allow users to configure the request timeout value, instead of using a hardcoded 5000ms. This involves updating the `pact_verifier` module to accept a timeout option in its configuration and using this value when setting verification options in the underlying Pact FFI library.

AI Summary: The task requires modifying the Erlang Pact verifier to accept and utilize consumer and provider tags within its configuration. This involves adding parameters to the Erlang API functions and updating the underlying C code (Pact FFI) to incorporate these tags into the verifier's initialization and interaction with the Pact Broker.