Code

Fix address space size check#470

Code

Merged

peterschrammel merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:fix_address_space_size_checksmowton/cbmc:fix_address_space_size_checkCopy head branch name to clipboard

Jan 25, 2017

Commits

Commits on Jan 25, 2017

• Fix address space limit test. Fixes #243

  smowton

  committed
  49c4b3a

  Copy full SHA for 49c4b3a

• Add address space size limit regression test

  smowton

  committed
  dc0b1fa

  Copy full SHA for dc0b1fa