aboutsummaryrefslogtreecommitdiffstats
path: root/JSONSchema
diff options
context:
space:
mode:
authorEverett Hildenbrandt <hildenb2@illinois.edu>2018-05-31 03:12:31 +0800
committerEverett Hildenbrandt <hildenb2@illinois.edu>2018-05-31 22:37:30 +0800
commit2753667b68af77e59b6f89cbc16a8942455e7633 (patch)
tree413677e6f5f5646ac1721fa0f7e30e29fcbb192d /JSONSchema
parent6496a2e859acd373abfb6fec745caa3bc3fb52c3 (diff)
downloaddexon-tests-2753667b68af77e59b6f89cbc16a8942455e7633.tar.gz
dexon-tests-2753667b68af77e59b6f89cbc16a8942455e7633.tar.zst
dexon-tests-2753667b68af77e59b6f89cbc16a8942455e7633.zip
JSONSchema/*: add _info block to schemas to require filler information
Diffstat (limited to 'JSONSchema')
-rw-r--r--JSONSchema/bc-schema.json5
-rw-r--r--JSONSchema/definitions.json24
-rw-r--r--JSONSchema/st-schema.json5
-rw-r--r--JSONSchema/vm-schema.json5
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
+}