Code

SSS: Make _start optional#586

Code

Merged

peterschrammel merged 1 commit intodiffblue:security-scanner-supportdiffblue/cbmc:security-scanner-supportfrom

smowton:sss_start_hacksmowton/cbmc:sss_start_hackCopy head branch name to clipboard

Mar 7, 2017

Commits

Commits on Mar 6, 2017

• Make _start optional

  Show description for aad61d7
  smowton

  committed
  aad61d7

  Copy full SHA for aad61d7