{ "servers": [ {"agent": "AutobahnServer", "url": "ws://localhost:8080/web-socket", "options": {"version": 13}} ], "cases": ["1.*", "2.*", "3.*", "4.*", "5.*"], "exclude-cases": [], "exclude-agent-cases": {} }