Code

make test work on 32-bit Debian#2056

Code

Merged

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

fix-regression-cbmc-memcpy1diffblue/cbmc:fix-regression-cbmc-memcpy1Copy head branch name to clipboard

Apr 17, 2018

Commits

Commits on Apr 16, 2018

• make test work on 32-bit Linux

  

  Daniel Kroening

  committed
  b165c52

  Copy full SHA for b165c52