Code

Fix removal of first component#1038

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

pkesseli:cpplint/header-guard-first-componentCopy head branch name to clipboard

Jul 3, 2017

Commits

Commits on Jun 28, 2017

• Fix removal of first component

  Show description for 78a23bb
  pkesseli

  committed
  78a23bb

  Copy full SHA for 78a23bb