Code

Corrections on PR 675#688

Code

Merged

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

allredj:testgen-corrections-for-675allredj/cbmc:testgen-corrections-for-675Copy head branch name to clipboard

Mar 23, 2017

Commits

Commits on Mar 23, 2017

• const refs and clean up

  Show description for df36fec
  

  Joel Allred

  committed
  df36fec

  Copy full SHA for df36fec