Code

Fix union initialization#5967

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:union-inittautschnig/cbmc:union-initCopy head branch name to clipboard

Apr 21, 2021

Commits

Commits on Apr 21, 2021

• Fix initialization of multiple sub-members within a union

  Show description for 29b284f
  tautschnig

  committed
  29b284f

  Copy full SHA for 29b284f