1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
{ "outdir": "./reports/servers", "servers": [ { "url": "ws://127.0.0.1:8080" } ], "cases": [ "*" ], "exclude-cases": [ "2.10", "9.*", "12.*", "13.*" ], "exclude-agent-cases": {} }