34 lines
732 B
JSON
34 lines
732 B
JSON
{
|
|
"schema-version": 1,
|
|
"state": "PASS_WITH_MANUAL",
|
|
"verification-level": "static",
|
|
"execution-verified": false,
|
|
"checks": {
|
|
"commands": {
|
|
"total": 6,
|
|
"verified": 4,
|
|
"manual-required": 2,
|
|
"failed": 0
|
|
},
|
|
"paths": {
|
|
"total": 9,
|
|
"verified": 9,
|
|
"failed": 0
|
|
},
|
|
"anchors": {
|
|
"total": 0,
|
|
"verified": 0,
|
|
"failed": 0
|
|
},
|
|
"readme-contracts": {
|
|
"total": 0,
|
|
"verified": 0,
|
|
"failed": 0
|
|
}
|
|
},
|
|
"failures": [],
|
|
"limitations": [
|
|
"manual verification required: python3 -m pip install -e \".[dev]\" (unsupported-static-verifier)",
|
|
"manual verification required: python3 -m pytest -q (unsupported-static-verifier)"
|
|
]
|
|
} |