julian.kiedaischandClaude Opus 5.5
65ccd9ddd7
WlanRun pings on the new network wlan-lan: over wireless cables, over a plain cable, and to and from a notebook on the switch's SSID without a cable. The engine matches Java without a change: it runs the links only. Swift's wirelessAssociations, which join a host to its SSID's switch at run time, are not taken. ScenarioNetwork sets wireless cables, wireless cards and SSIDs; a corpus test pings over the wireless cables of multicast_server.fls. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
128 lines
3.2 KiB
JSON
128 lines
3.2 KiB
JSON
{
|
|
"seed": 71,
|
|
"nodes": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000601",
|
|
"kind": "notebook",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000611",
|
|
"label": "eth0"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000602",
|
|
"kind": "notebook",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000612",
|
|
"label": "eth0"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000603",
|
|
"kind": "pc",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000613",
|
|
"label": "eth0"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000604",
|
|
"kind": "networkSwitch",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000641",
|
|
"label": "sw1"
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000642",
|
|
"label": "sw2"
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000643",
|
|
"label": "sw3"
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000644",
|
|
"label": "sw4"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000605",
|
|
"kind": "notebook",
|
|
"ports": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-000000000615",
|
|
"label": "eth0"
|
|
}
|
|
]
|
|
}
|
|
],
|
|
"links": [
|
|
{
|
|
"id": "00000000-0000-0000-0000-00000000F601",
|
|
"sourceNode": "00000000-0000-0000-0000-000000000601",
|
|
"sourcePort": "00000000-0000-0000-0000-000000000611",
|
|
"targetNode": "00000000-0000-0000-0000-000000000604",
|
|
"targetPort": "00000000-0000-0000-0000-000000000641",
|
|
"wireless": true
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-00000000F602",
|
|
"sourceNode": "00000000-0000-0000-0000-000000000602",
|
|
"sourcePort": "00000000-0000-0000-0000-000000000612",
|
|
"targetNode": "00000000-0000-0000-0000-000000000604",
|
|
"targetPort": "00000000-0000-0000-0000-000000000642",
|
|
"wireless": true
|
|
},
|
|
{
|
|
"id": "00000000-0000-0000-0000-00000000F603",
|
|
"sourceNode": "00000000-0000-0000-0000-000000000603",
|
|
"sourcePort": "00000000-0000-0000-0000-000000000613",
|
|
"targetNode": "00000000-0000-0000-0000-000000000604",
|
|
"targetPort": "00000000-0000-0000-0000-000000000643"
|
|
}
|
|
],
|
|
"devices": {
|
|
"00000000-0000-0000-0000-000000000601": {
|
|
"ip": "192.168.1.11",
|
|
"mask": "255.255.255.0"
|
|
},
|
|
"00000000-0000-0000-0000-000000000602": {
|
|
"ip": "192.168.1.12",
|
|
"mask": "255.255.255.0"
|
|
},
|
|
"00000000-0000-0000-0000-000000000603": {
|
|
"ip": "192.168.1.13",
|
|
"mask": "255.255.255.0"
|
|
},
|
|
"00000000-0000-0000-0000-000000000605": {
|
|
"ip": "192.168.1.14",
|
|
"mask": "255.255.255.0"
|
|
}
|
|
},
|
|
"switches": {
|
|
"00000000-0000-0000-0000-000000000604": {
|
|
"ssid": "schule"
|
|
}
|
|
},
|
|
"wireless": {
|
|
"00000000-0000-0000-0000-000000000601": {
|
|
"ssid": "schule"
|
|
},
|
|
"00000000-0000-0000-0000-000000000602": {
|
|
"ssid": "schule"
|
|
},
|
|
"00000000-0000-0000-0000-000000000605": {
|
|
"ssid": "schule"
|
|
}
|
|
},
|
|
"steps": []
|
|
}
|