Code

Remove unnecessary cast to_code#2581

Code

Merged

romainbrenguier merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/to_coderomainbrenguier/cbmc:refactor/to_codeCopy head branch name to clipboard

Jul 17, 2018

Commits

Commits on Jul 17, 2018

• Remove unnecessary cast to_code

  Show description for 26781a6
  romainbrenguier

  committed
  26781a6

  Copy full SHA for 26781a6

• Clean-up get_return_lhs

  Show description for 1f62596
  romainbrenguier

  committed
  1f62596

  Copy full SHA for 1f62596

• Clean-up in gen_nondet_instruction_info

  romainbrenguier

  committed
  e4b8c44

  Copy full SHA for e4b8c44