1{ 2 "key": "contract", 3 "name": "Contract", 4 "authors": [ 5 "Lorenzo Caminiti" 6 ], 7 "maintainers": [ 8 "Lorenzo Caminiti <lorcaminiti -at- gmail.com>" 9 ], 10 "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.", 11 "category": [ 12 "Correctness" 13 ] 14} 15