Add confirugation options #21
Description
It would be nice to expose a few configuration options to consumers.
Examples:
- Ignore all contracts (perhaps on release build)
- Ignore non-public members
- Ignore postconditions
{{ message }}
It would be nice to expose a few configuration options to consumers.
Examples: