1234567891011121314 |
- {
- "key": "contract",
- "name": "Contract",
- "authors": [
- "Lorenzo Caminiti"
- ],
- "maintainers": [
- "Lorenzo Caminiti <lorcaminiti -at- gmail.com>"
- ],
- "description": "Contract programming for C++. All contract programming features are supported: Subcontracting, class invariants, postconditions (with old and return values), preconditions, customizable actions on assertion failure (e.g., terminate or throw), optional compilation and checking of assertions, etc.",
- "category": [
- "Correctness"
- ]
- }
|