43 lines
1.1 KiB
JSON
43 lines
1.1 KiB
JSON
{
|
|
"$schema": "https://json-schema.org/draft/2020-12/schema",
|
|
"$id": "https://stellaops.org/benchmark/reachability/trace.schema.json",
|
|
"title": "Reachability Benchmark Trace Artifact",
|
|
"type": "object",
|
|
"oneOf": [
|
|
{
|
|
"required": ["entry", "path", "sink"],
|
|
"properties": {
|
|
"entry": { "type": "string" },
|
|
"path": {
|
|
"type": "array",
|
|
"minItems": 1,
|
|
"items": { "type": "string" }
|
|
},
|
|
"sink": { "type": "string" },
|
|
"notes": { "type": "string" }
|
|
},
|
|
"additionalProperties": false
|
|
},
|
|
{
|
|
"required": ["events"],
|
|
"properties": {
|
|
"events": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "object",
|
|
"required": ["path", "type"],
|
|
"properties": {
|
|
"path": { "type": "string" },
|
|
"type": { "type": "string" },
|
|
"at": { "type": "integer", "minimum": 0 }
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"notes": { "type": "string" }
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
]
|
|
}
|