Bugfix in c defs#142

Merged

szymonlopaciuk merged 4 commits intoxsuite:mainfrom

freddieknets:FixCDefs

Dec 17, 2024

Commits on Oct 19, 2024

Commits on Oct 24, 2024

Added a test in struct with kernel namings that would fail in the previous implementation
freddieknets
committed