| Pathoschild.DesignByContract.Tests.Attributes |
| Pathoschild.DesignByContract.Tests.Framework |
| Name | Description |
|---|---|
| ParameterContractTestCaseAttribute | Marks a parameterized test case for a return value contract whose first argument is returned. |
| ReturnValueContractTestCaseAttribute | Marks a parameterized test case for a parameter contract whose first argument is returned. |