Code

Fix two cbmc tests#2367

Code

Merged

kroening merged 2 commits intodevelopdiffblue/cbmc:developfrom

fix-testsdiffblue/cbmc:fix-testsCopy head branch name to clipboard

Jun 19, 2018

Commits

Commits on Jun 19, 2018

• switch regression/cbmc/Typecast2 to preprocessed code

  Show description for 4de4538
  

  Daniel Kroening

  committed
  4de4538

  Copy full SHA for 4de4538

• make regression/cbmc/bounds_check1 independent of types used

  

  Daniel Kroening

  committed
  bcc3bef

  Copy full SHA for bcc3bef