Code

Make code_typet declarations const#2288

Code

Merged

peterschrammel merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:code-type-constpeterschrammel/cbmc:code-type-constCopy head branch name to clipboard

Jun 6, 2018

Commits

Commits on Jun 6, 2018

• Make code_typet declarations const

  Show description for 64cd733
  peterschrammel

  committed
  64cd733

  Copy full SHA for 64cd733