Code

Fix typecast array access#228

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:fix_typecast_array_accessCopy head branch name to clipboard

Oct 30, 2016

Commits

Commits on Sep 13, 2016

• Don't bypass the expression cache when processing pointer typecasts. Fixes #227

  smowton

  committed
  6fe5360

  Copy full SHA for 6fe5360

• Add test for #227

  smowton

  committed
  90d266f

  Copy full SHA for 90d266f