Skip to content

Add C translation support for anonymous structs and unions#758

Draft
bahnwaerter wants to merge 5 commits into
ultimate-pa:devfrom
bahnwaerter:wip/mb/fix-c-anonymous-structs
Draft

Add C translation support for anonymous structs and unions#758
bahnwaerter wants to merge 5 commits into
ultimate-pa:devfrom
bahnwaerter:wip/mb/fix-c-anonymous-structs

Add more anonymous (unnamed) struct regression tests

a12d341
Select commit
Loading
Failed to load commit list.
Ultimate Jenkins CI / Ultimate CI succeeded Jun 12, 2026 in 2m 47s

Success

Details

  • Declarative: Tool Install (3.1 sec)
    • Checkout (8.1 sec)
    • Check environment (4.9 sec)
    • Build and run basic tests (2 min 25 sec)