SMACK'D JSON Input Format

{ "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 } } }