15 lines
551 B
JSON
15 lines
551 B
JSON
{
|
|
"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"
|
|
]
|
|
}
|