Code

Remove unused parameter criteria#2465

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-criteriatautschnig/cbmc:vs-criteriaCopy head branch name to clipboard

Jun 25, 2018

Commits

Commits on Jun 25, 2018

• Remove unused parameter criteria

  tautschnig

  committed
  0f3d345

  Copy full SHA for 0f3d345