Code

Fix byte update flattening#397

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:fix_byte_updatesmowton/cbmc:fix_byte_updateCopy head branch name to clipboard

Jan 17, 2017

Commits

Commits on Jan 5, 2017

• Add array-byte-update tests

  smowton

  committed
  002af82

  Copy full SHA for 002af82

Commits on Jan 17, 2017

• Fix byte-update flattening

  Show description for 8c07428
  smowton

  committed
  8c07428

  Copy full SHA for 8c07428