test(corpus): 23 .fls files and the Swift reader's view of them

Browse Source

The oracle gains a corpus mode; run.sh now stops on a failed build
instead of running a stale binary. Swift reads all 23 files but drops
Java gateways labelled 'Heimrouter' and nodes whose bounds are written
through XMLEncoder back-references.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

...

This commit is contained in:

julian.kiedaisch

2026-09-29 19:36:37 +00:00

co-authored by Claude Opus 5.5

parent 5c16cf18b4

commit 8866df5f21

29 changed files with 490 additions and 2 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

corpus/java-examples/Internet_Complete_with_e-Mail_Webserver_Intranet_Portforwarding_Firewall_DHCP_EN.fls

BIN

Binary file not shown.

corpus/java-examples/Internet_Komplett_mit_eMail_Webserver_Intranet_Portforwarding_Firewall_DHCP_DE.fls

BIN

Binary file not shown.

corpus/java-examples/Public_and_Private_Networks_2_EN.fls

BIN

Binary file not shown.

corpus/java-examples/anwendung_komplett.fls

BIN

Binary file not shown.

corpus/java-examples/dhcp_test_scenario.fls

BIN

Binary file not shown.

corpus/java-examples/dns_server.fls

BIN

Binary file not shown.

corpus/java-examples/einfaches_rechnernetz_komplett.fls

BIN

Binary file not shown.

corpus/java-examples/email_komplett.fls

BIN

Binary file not shown.

corpus/java-examples/internetwork_komplett.fls

BIN

Binary file not shown.

corpus/java-examples/man-in-the-middle.fls

BIN

Binary file not shown.

corpus/java-examples/modem_beispiel.fls

BIN

Binary file not shown.

corpus/java-examples/multicast_server.fls

BIN

Binary file not shown.

corpus/java-examples/nat.fls

BIN

Binary file not shown.

corpus/java-examples/nat_with_mapped_port.fls

BIN

Binary file not shown.

corpus/java-examples/private_and_public_network.fls

BIN

Binary file not shown.

corpus/java-examples/private_und_public_networks_mit_provider_DE.fls

BIN

Binary file not shown.

corpus/java-examples/webserver.fls

BIN

Binary file not shown.

corpus/java-examples/zwei_rechnernetze_komplett.fls

BIN

Binary file not shown.