<!-- Do not edit this file. It is automatically generated by API Documenter. -->

[Home](./index.md) &gt; [@contract-case/case-boundary](./case-boundary.md) &gt; [BoundaryContractVerifier](./case-boundary.boundarycontractverifier.md)

## BoundaryContractVerifier class

A BoundaryContractDefiner allows verifying contracts

**Signature:**

```typescript
export declare class BoundaryContractVerifier
```

## Constructors

| Constructor                                                                                                                             | Modifiers | Description                                                                    |
| --------------------------------------------------------------------------------------------------------------------------------------- | --------- | ------------------------------------------------------------------------------ |
| [(constructor)(config, callback, logPrinter, resultPrinter, parentVersions)](./case-boundary.boundarycontractverifier._constructor_.md) |           | Construct a BoundaryContractVerifier to allow verifying pre-written contracts. |

## Methods

| Method                                                                                                       | Modifiers | Description                                                                                                                                                                                        |
| ------------------------------------------------------------------------------------------------------------ | --------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| [availableContractDescriptions()](./case-boundary.boundarycontractverifier.availablecontractdescriptions.md) |           | Returns a description of all of the contracts that can be found by the configuration.                                                                                                              |
| [runVerification(configOverrides)](./case-boundary.boundarycontractverifier.runverification.md)              |           | Run the verification of the contract(s) that can be found using the configuration provided. If you want to filter the contract(s), use the configOverrides to specify a Consumer or Provider name. |