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