Code

Use bool literal in while loop#2078

Code

Merged

romainbrenguier merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:bool-literal-in-while-loopromainbrenguier/cbmc:bool-literal-in-while-loopCopy head branch name to clipboard

Apr 17, 2018

Commits

Commits on Apr 17, 2018

• Use bool literal in while loop

  Show description for 67ea889
  romainbrenguier

  committed
  67ea889

  Copy full SHA for 67ea889