Code

Unit tests for simplify expression#1075

Code

Closed

thk123 wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:feature/unit-test-simplify-exprthk123/cbmc:feature/unit-test-simplify-exprCopy head branch name to clipboard

Commits

Commits on Jun 29, 2017

• Adding tests for simplification of lhs

  

  thk123

  committed
  42bd7ed

  Copy full SHA for 42bd7ed

• Made simplify remove unnecessary casts

  

  thk123

  committed
  c6387e9

  Copy full SHA for c6387e9