Code

Assignment type consistency#3634

Code

Closed

kroening wants to merge 2 commits intodevelopdiffblue/cbmc:developfrom

assignment-consistencydiffblue/cbmc:assignment-consistencyCopy head branch name to clipboard

Commits

Commits on Jan 19, 2019

• expr_initializert: fix type of enum constants

  

  Daniel Kroening

  committed
  3ff9bbe

  Copy full SHA for 3ff9bbe

• symex: check type consistency of assignments

  

  Daniel Kroening

  committed
  6e2c03e

  Copy full SHA for 6e2c03e