Code

Do not build a goto-instrument.a#2875

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:no-recursive-libtautschnig/cbmc:no-recursive-libCopy head branch name to clipboard

Sep 3, 2018

Commits

Commits on Sep 3, 2018

• Do not build a goto-instrument.a

  Show description for 520129c
  tautschnig

  committed
  520129c

  Copy full SHA for 520129c