{
  "type": "object",
  "required": [
    "file-name",
    "isa",
    "commands"
  ],
  "additionalProperties": false,
  "properties": {
    "file-name": {
      "type": "string"
    },
    "skip": {
      "type": "boolean"
    },
    "only": {
      "type": "boolean"
    },
    "isa": {
      "type": "object",
      "required": [
        "title",
        "description"
      ],
      "additionalProperties": false,
      "properties": {
        "title": {
          "type": "string"
        },
        "description": {
          "type": "string"
        },
        "properties": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "exceptions": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "verification": {
          "type": "array",
          "items": {
            "type": "string"
          }
        },
        "instructions": {
          "type": "array",
          "items": {
            "type": "object",
            "additionalProperties": true,
            "required": [
              "sig",
              "format"
            ],
            "properties": {
              "sig": {
                "type": "string"
              },
              "format": {
                "type": "array",
                "items": {
                  "type": "string"
                }
              },
              "type": {
                "type": "string"
              },
              "dtype": {
                "type": "string"
              }
            }
          }
        }
      }
    },
    "commands": {
      "type": "array",
      "items": {
        "type": "object",
        "additionalProperties": false,
        "required": [
          "file-name",
          "code-template",
          "isa"
        ],
        "properties": {
          "isa": {
            "type": "object",
            "additionalProperties": false,
            "properties": {
              "instructions": {
                "type": "array",
                "items": {
                  "type": "object",
                  "additionalProperties": true,
                  "required": [
                    "sig",
                    "format"
                  ],
                  "properties": {
                    "sig": {
                      "type": "string"
                    },
                    "format": {
                      "type": "array",
                      "items": {
                        "type": "string"
                      }
                    },
                    "type": {
                      "type": "string"
                    },
                    "dtype": {
                      "type": "string"
                    }
                  }
                }
              },
              "description": {
                "type": "string"
              },
              "exceptions": {
                "type": "array",
                "items": {
                  "type": "string"
                }
              },
              "properties": {
                "type": "array",
                "items": {
                  "type": "string"
                }
              },
              "verification": {
                "type": "array",
                "items": {
                  "type": "string"
                }
              }
            }
          },
          "only": {
            "type": "boolean"
          },
          "skip": {
            "type": "boolean"
          },
          "file-name": {
            "type": "string"
          },
          "check-type": {
            "type": "string",
            "enum": ["empty", "none", "no-check", "exit-positive", "check-positive", "check-negative", "check-acc-nan-f32", "check-acc-nan-f64", "check-acc-1", "check-acc-minus-1"]
          },
          "header-template": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "code-template": {
            "type": "string"
          },
          "ignore": {
            "type": "boolean"
          },
          "tags": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "bugid": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "panda-options": {
            "type": "string"
          },
          "runner-options": {
            "type": "array",
            "items": {
              "type": "string",
              "enum": ["compile-failure", "compile-only", "run-failure", "use-pa", "verifier-only", "verifier-failure", "verifier-config", ""]
            }
          },
          "description": {
            "type": "string"
          },
          "template-cases": {
            "type": "array",
            "items": {
              "type": "object",
              "additionalProperties": false,
              "required": ["values"],
              "properties": {
                "ignore": {
                  "type": "boolean"
                },
                "tags": {
                  "type": "array",
                  "items": {
                    "type": "string"
                  }
                },
                "bugid": {
                  "type": "array",
                  "items": {
                    "type": "string"
                  }
                },
                "values": {
                  "type": "array",
                  "items": {
                    "type": [ "string","number" ]
                  }
                },
                "exclude": {
                  "type": "array",
                  "items": {
                    "type": [ "string","integer" ]
                  }
                }
              }
            }
          },
          "cases": {
            "type": "array",
            "items": {
              "type": "object",
              "additionalProperties": false,
              "properties": {
                "case-template": {
                  "type": "string"
                },
                "case-header-template": {
                  "type": "array",
                  "items":  {
                    "type": "string"
                  }
                },
                "values": {
                  "type": "array",
                  "items": {
                    "type": [ "string","number" ]
                  }
                },
                "id": {
                  "type": [ "string", "integer" ]
                },
                "ignore": {
                  "type": "boolean"
                },
                "tags": {
                  "type": "array",
                  "items": {
                    "type": "string"
                  }
                },
                "bugid": {
                  "type": "array",
                  "items": {
                    "type": "string"
                  }
                },
                "case-check-type": {
                  "type": "string",
                  "enum": ["empty", "none", "no-check", "exit-positive", "check-positive", "check-negative", "check-acc-nan-f32", "check-acc-nan-f64", "check-acc-1", "check-acc-minus-1"]
                },
                "runner-options" : {
                  "type": "array",
                  "items": {
                    "type": "string",
                    "enum": ["compile-failure", "compile-only", "run-failure", "use-pa", "verifier-only", "verifier-failure", "verifier-config", ""]
                  }
                },
                "description": {
                  "type": "string"
                }
              },
              "anyOf": [
                { "required": ["values"] },
                { "required": ["case-template"] }
              ]
            }
          }
        }
      }
    }
  }
}