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