{ "options": {}, "outdir": "./reports/servers", "servers": [ { "agent": "ESP8266 / WiFi", "url": "ws://192.168.46.126:9001" }, { "agent": "SAMD21 / W5100 / Ethernet", "url": "ws://192.168.46.143:9001" }, { "agent": "AVR / W5100 / Ethernet", "url": "ws://192.168.46.141:9001" }, { "agent": "AVR / W5500 / Ethernet", "url": "ws://192.168.46.142:9001" } ], "cases": [ "1.*", "2.*", "3.*", "4.*", "5.*", "6.1.1", "6.2.*", "6.5.*", "6.7.*", "6.9.*", "6.22.*", "7.*" ], "exclude-cases": [ "1.1.6", "1.1.7", "1.1.8", "1.2.6", "1.2.7", "1.2.8", "7.5.1", "9.7.5", "9.7.6", "9.8.5", "9.8.6" ], "exclude-agent-cases": {} }