Code

Remove tautological typecasts#1438

Code

Merged

tautschnig merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/simplify-expr-improvementreuk/cbmc:reuk/simplify-expr-improvementCopy head branch name to clipboard

Oct 4, 2017

Commits

Commits on Oct 4, 2017

• Remove tautological typecasts

  reuk

  committed
  0e2b13f

  Copy full SHA for 0e2b13f

• Set up config in unit tests

  reuk

  committed
  9ea7414

  Copy full SHA for 9ea7414

• Add unit test for new behavior

  reuk

  committed
  1d87928

  Copy full SHA for 1d87928