Code

Follow tag types#2692

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

follow-tagsdiffblue/cbmc:follow-tagsCopy head branch name to clipboard

Aug 8, 2018

Commits

Commits on Aug 8, 2018

• fix typo in comments for struct_tag_typet

  

  Daniel Kroening

  committed
  99e33bd

  Copy full SHA for 99e33bd

• follow union, struct and enum tags

  

  Daniel Kroening

  committed
  f94d5e2

  Copy full SHA for f94d5e2