contract-shield-cli/.vscode/settings.json

A CLI tool that verifies preconditions, postconditions, and invariants in contracts without altering their original source code. `contract-shield-cli` enforces Design by Contract principles externally, ensuring contracts behave as expected while preservin

{
    "cSpell.words": [
        "postconditions"
    ],
    "codium.codeCompletion.enable": true
}