Code

Introduce union tag type#2697

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

union_tagdiffblue/cbmc:union_tagCopy head branch name to clipboard

Sep 7, 2018

Commits

Commits on Sep 7, 2018

• further support for union_tag and struct_tag

  

  Daniel Kroening

  committed
  ae328f3

  Copy full SHA for ae328f3

• introduce union_tag type instead of symbol_type

  

  Daniel Kroening

  committed
  7f12c59

  Copy full SHA for 7f12c59