34 lines
935 B
JSON
34 lines
935 B
JSON
{
|
|
"schema_version": 1,
|
|
"adapter": "p4c-diagnostics",
|
|
"tool": {
|
|
"name": "p4c",
|
|
"version": "1.2.5.16"
|
|
},
|
|
"invocation": {
|
|
"mode": "p4test-regression"
|
|
},
|
|
"artifact": {
|
|
"identity": "git-blob:d3b4f87b035dbddba726b3c376da415dd9df5766",
|
|
"provenance": "https://raw.githubusercontent.com/p4lang/p4c/v1.2.5.16/testdata/p4_16_errors_outputs/decl-parser-with-duplicate-state-names.p4-stderr"
|
|
},
|
|
"exit_status": 1,
|
|
"results": [
|
|
{
|
|
"raw_identity": "p4c:v1.2.5.16:decl-parser-with-duplicate-state-names.p4:5:duplicate:start",
|
|
"category": "error",
|
|
"code": "duplicate",
|
|
"message": "start: Duplicates declaration start",
|
|
"path": "decl-parser-with-duplicate-state-names.p4",
|
|
"line": 5,
|
|
"column": 9,
|
|
"symbol": {
|
|
"kind": "state",
|
|
"name": "start",
|
|
"owner": "p"
|
|
},
|
|
"model_bounds": null,
|
|
"confidence_category": null
|
|
}
|
|
]
|
|
}
|