Code

Remove names of unused parameters#2468

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-namestautschnig/cbmc:vs-namesCopy head branch name to clipboard

Aug 11, 2018

Commits

Commits on Aug 11, 2018

• Remove names of unused parameters

  tautschnig

  committed
  3785941

  Copy full SHA for 3785941