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",
  "required":false,
  "properties":{
    "verifier": {
      "type":"string",
      "required":false
    },
    "passed?": {
      "type":"boolean",
      "required":false
    },
    "threadCount": {
      "type":"number",
      "required":false
    },
    "failsAt": {
      "type":"object",
      "required":false,
      "properties":{
        "file": {
          "type":"string",
          "required":false
        },
        "line": {
          "type":"number",
          "required":false
        },
        "description": {
          "type":"string",
          "required":false
        }
      }
    },
    "traces": {
      "type":"array",
      "required":false,
      "items": {
        "type":"object",
        "required":false,
        "properties":{
          "threadid": {
            "type":"number",
            "required":false
          },
          "file": {
            "type":"string",
            "required":false
          },
          "line": {
            "type":"number",
            "required":false
          },
          "description": {
            "type":"string",
            "required":false
          }
        }
      }
    }
  }
}