Code

Feature cbmc bump#235

Code

Merged

hannes-steffenhagen-diffblue merged 4 commits intodiffblue:masterdiffblue/gnat2goto:masterfrom

hannes-steffenhagen-diffblue:feature-cbmc_bumphannes-steffenhagen-diffblue/gnat2goto:feature-cbmc_bumpCopy head branch name to clipboard

May 20, 2019

Commits

Commits on May 20, 2019

• Add more CPROVER state variables to the symbol table

  hannes-steffenhagen-diffblue

  committed
  6a272a1

  Copy full SHA for 6a272a1

• Use type of the index for WITH expressions in array literals

  hannes-steffenhagen-diffblue

  committed
  ff7e58b

  Copy full SHA for ff7e58b

• Bump CBMC to 58f628c7cb900b4c56380174d3d0197891d64045

  Show description for 8896127
  hannes-steffenhagen-diffblue

  committed
  8896127

  Copy full SHA for 8896127

• Update golden results

  hannes-steffenhagen-diffblue

  committed
  708efba

  Copy full SHA for 708efba