SMACK'D JSON Input Format

A Sample SMACK'D Input

{
                "verifier": "corral",
                "passed?": false,
                "failsAt": {  "file": "simple.c", "line": 13, "description": "error PF5001: This assertion can fail" },
                "threadCount": 3,
                "traces": [
                                { "threadid": 3, "file": "simple.c", "line": 14, "description": "" },
                                { "threadid": 2, "file": "simple.c", "line": 14, "description": "" },
                                { "threadid": 3, "file": "simple.c", "line": 15, "description": "" }
                ]
}

The JSON Schema expected by SMACK'D

{
  "type":"object",
  "$schema": "http://json-schema.org/draft-03/schema",
  "id": "http://jsonschema.net",
  "required":false,
  "properties":{
    "failsAt": {
      "type":"object",
      "id": "http://jsonschema.net/failsAt",
      "required":false,
      "properties":{
        "description": {
          "type":"string",
          "id": "http://jsonschema.net/failsAt/description",
          "required":false
        },
        "file": {
          "type":"string",
          "id": "http://jsonschema.net/failsAt/file",
          "required":false
        },
        "line": {
          "type":"number",
          "id": "http://jsonschema.net/failsAt/line",
          "required":false
        }
      }
    },
    "passed?": {
      "type":"boolean",
      "id": "http://jsonschema.net/passed?",
      "required":false
    },
    "threadCount": {
      "type":"number",
      "id": "http://jsonschema.net/threadCount",
      "required":false
    },
    "traces": {
      "type":"array",
      "id": "http://jsonschema.net/traces",
      "required":false,
      "items":
        {
          "type":"object",
          "id": "http://jsonschema.net/traces/0",
          "required":false,
          "properties":{
            "description": {
              "type":"string",
              "id": "http://jsonschema.net/traces/0/description",
              "required":false
            },
            "file": {
              "type":"string",
              "id": "http://jsonschema.net/traces/0/file",
              "required":false
            },
            "line": {
              "type":"number",
              "id": "http://jsonschema.net/traces/0/line",
              "required":false
            },
            "threadid": {
              "type":"number",
              "id": "http://jsonschema.net/traces/0/threadid",
              "required":false
            }
          }
        }
    },
    "verifier": {
      "type":"string",
      "id": "http://jsonschema.net/verifier",
      "required":false
    }
  }
}