Code

Do not use outdated *-mod.gb file#2982

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:regression-fixtautschnig/cbmc:regression-fixCopy head branch name to clipboard

Sep 18, 2018

Commits

Commits on Sep 18, 2018

• Do not use outdated *-mod.gb file

  Show description for 545ad66
  tautschnig

  committed
  545ad66

  Copy full SHA for 545ad66