Code

Move side effect out of conditional#2442

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-sidetautschnig/cbmc:vs-sideCopy head branch name to clipboard

Jun 24, 2018

Commits

Commits on Jun 24, 2018

• Move side effect out of conditional

  Show description for 53e35c2
  tautschnig

  committed
  53e35c2

  Copy full SHA for 53e35c2