Code

Change two errors to warnings#1037

Code

Merged

forejtv merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

owen-mc-diffblue:owen/errors-to-warningsowen-mc-diffblue/cbmc:owen/errors-to-warningsCopy head branch name to clipboard

Jun 20, 2017

Commits

Commits on Jun 20, 2017

• Change two errors to warnings

  Show description for 4701c0b
  

  Owen Jones

  committed
  4701c0b

  Copy full SHA for 4701c0b