Code

Fix types in use of set_polarity#6071

Code

Merged

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:set_polaritytautschnig/cbmc:set_polarityCopy head branch name to clipboard

Apr 30, 2021

Commits

Commits on Apr 30, 2021

• Fix types in use of set_polarity

  Show description for 0e34169
  tautschnig

  committed
  0e34169

  Copy full SHA for 0e34169