diff options
Diffstat (limited to 'JSONSchema')
| -rw-r--r-- | JSONSchema/bc-schema.json | 5 | ||||
| -rw-r--r-- | JSONSchema/definitions.json | 24 | ||||
| -rw-r--r-- | JSONSchema/st-schema.json | 5 | ||||
| -rw-r--r-- | JSONSchema/vm-schema.json | 5 |
4 files changed, 36 insertions, 3 deletions
diff --git a/JSONSchema/bc-schema.json b/JSONSchema/bc-schema.json index 35625af8c..729638d1a 100644 --- a/JSONSchema/bc-schema.json +++ b/JSONSchema/bc-schema.json @@ -271,6 +271,9 @@ "patternProperties": { "^.*$": { "properties": { + "_info": { + "$ref": "#/definitions/Info" + }, "blocks": { "items": { "$ref": "#/definitions/Block" @@ -311,4 +314,4 @@ "type": "object" } } -}
\ No newline at end of file +} diff --git a/JSONSchema/definitions.json b/JSONSchema/definitions.json index 98bbffa21..45088f2bb 100644 --- a/JSONSchema/definitions.json +++ b/JSONSchema/definitions.json @@ -111,6 +111,30 @@ "pattern": "(^0x0$)|(^0x[1-9a-fA-F][0-9a-fA-F]*$)", "type": "string" }, + "Info": { + "description": "Information block for filled tests.", + "properties": { + "comment": { + "type": "string" + }, + "filledwith": { + "type": "string" + }, + "lllcversion": { + "type": "string" + }, + "source": { + "type": "string" + }, + "sourceHash": { + "type": "string" + } + }, + "required": [ + "source", + "sourceHash" + ] + }, "Indices": { "anyOf": [ { diff --git a/JSONSchema/st-schema.json b/JSONSchema/st-schema.json index 0aae8fcf2..fa4ad181a 100644 --- a/JSONSchema/st-schema.json +++ b/JSONSchema/st-schema.json @@ -171,6 +171,9 @@ "patternProperties": { "^.*$": { "properties": { + "_info": { + "$ref": "#/definitions/Info" + }, "env": { "additionalproperties": false, "properties": { @@ -255,4 +258,4 @@ } }, "type": "object" -}
\ No newline at end of file +} diff --git a/JSONSchema/vm-schema.json b/JSONSchema/vm-schema.json index 7a81d64c0..f88b92a2e 100644 --- a/JSONSchema/vm-schema.json +++ b/JSONSchema/vm-schema.json @@ -34,6 +34,9 @@ "patternProperties": { "^.*$": { "properties": { + "_info": { + "$ref": "#/definitions/Info" + }, "env": { "additionalproperties": false, "properties": { @@ -135,4 +138,4 @@ } }, "type": "object" -}
\ No newline at end of file +} |