{ "outdir": "./reports/servers", "servers": [ { "url": "ws://127.0.0.1:8080" } ], "cases": [ "*" ], "exclude-cases": [ "2.10", "9.*", "12.*", "13.*" ], "exclude-agent-cases": {} }