Code

Add message for unknown cbmc option#910

Code

Merged

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

allredj:cmdline-feedbackallredj/cbmc:cmdline-feedbackCopy head branch name to clipboard

Jun 27, 2017

Commits

Commits on Jun 26, 2017

• Add message for unknown cbmc option

  Show description for 6b6f6cb
  

  Joel Allred

  committed
  6b6f6cb

  Copy full SHA for 6b6f6cb