Code

Use a switch statement for clarity#2804

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:cleanup/switch-lazy-modeNathanJPhillips/cbmc:cleanup/switch-lazy-modeCopy head branch name to clipboard

Aug 22, 2018

Commits

Commits on Aug 22, 2018

• Use a switch statement for clarity

  Show description for 667738a
  NathanJPhillips

  committed
  667738a

  Copy full SHA for 667738a