Code

Fix typecast in interpreter#3255

Code

Merged

romainbrenguier merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bugfix/typecast-in-interpreterromainbrenguier/cbmc:bugfix/typecast-in-interpreterCopy head branch name to clipboard

Nov 1, 2018

Commits

Commits on Nov 1, 2018

• Use numeric_cast instead of to_integer

  Show description for 02d09c5
  romainbrenguier

  committed
  02d09c5

  Copy full SHA for 02d09c5

• Merge the expr.has_operands conditions in one if

  Show description for 87e33ce
  romainbrenguier

  committed
  87e33ce

  Copy full SHA for 87e33ce

• Make interpreter handle typecast in pointer expr

  Show description for be08937
  romainbrenguier

  committed
  be08937

  Copy full SHA for be08937