Code

Refactoring in goto_symex#3988

Code

Merged

romainbrenguier merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/symex-rename1romainbrenguier/cbmc:refactor/symex-rename1Copy head branch name to clipboard

Feb 20, 2019

Commits

Commits on Feb 18, 2019

• Mark symex_level0 and level1 operator() const

  Show description for 69d4c5d
  romainbrenguier

  committed
  69d4c5d

  Copy full SHA for 69d4c5d

Commits on Feb 20, 2019

• Use namespace follow on type in rename(typet)

  Show description for eebe605
  romainbrenguier

  committed
  eebe605

  Copy full SHA for eebe605

• Replace insert by emplace and UNREACHABLE by CHECK_RETURN

  Show description for 9945782
  romainbrenguier

  committed
  9945782

  Copy full SHA for 9945782

• Make get_failed_symbol return optional symbol_exprt

  Show description for 2c74ebe
  romainbrenguier

  committed
  2c74ebe

  Copy full SHA for 2c74ebe