{
    "options": {
        "failByDrop": false
    }
  , "outdir": "./reports/servers"
  , "servers": [{
        "agent": "RatchetRFC/0.1.0"
      , "url": "ws://localhost:9001"
      , "options": {"version": 18}
    }]
  , "cases": [
  "1.*",
  "2.*",
  "3.*",
  "4.*",
  "5.*",
  "6.*",
  "7.*",
  "8.*",
  "9.*",
  "10.*",
  "12.1.1",
  "12.2.1",
  "12.3.1",
  "12.4.1",
  "12.5.1",
  "13.1.1",
  "13.2.1",
  "13.3.1",
  "13.4.1",
  "13.5.1",
  "13.6.1",
  "13.7.1"
  ]
  , "exclude-cases": []
  , "exclude-agent-cases": {}
}