{
  "outdir": "./reports/servers",
  "servers": [
    {
      "agent": "uWebSockets",
      "url": "ws://localhost:9001"
    }
  ],
  "cases": [
    "1.*",
    "2.*",
    "3.*",
    "4.*",
    "5.*",
    "6.*",
    "7.*",
    "9.*",
    "10.*",
    "11.*",
    "12.*",
    "13.*"
  ],
  "exclude-cases": [
  ],
  "exclude-agent-cases": {}
}