Code

Bugfix/overflow test#771

Code

Merged

tautschnig merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

owen-mc-diffblue:bugfix/overflow-testowen-mc-diffblue/cbmc:bugfix/overflow-testCopy head branch name to clipboard

Apr 13, 2017

Commits

Commits on Apr 7, 2017

• Make it clear test isn't really working

  Show description for 219b8bd
  

  Owen Jones

  committed
  219b8bd

  Copy full SHA for 219b8bd

• Make test work again and turn it on

  Show description for 8dcd386
  

  Owen Jones

  committed
  8dcd386

  Copy full SHA for 8dcd386