Linking: structural-equivalence-aware type comparison#9061

tautschnig wants to merge 2 commits into

diffblue:developdiffblue/cbmc:developfrom

tautschnig:extract/linking-structural-equivalencetautschnig/cbmc:extract/linking-structural-equivalenceCopy head branch name to clipboard