Code

Improve coverity Travis build#2313

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/admin/coverity-travissmowton/cbmc:smowton/admin/coverity-travisCopy head branch name to clipboard

Jun 8, 2018

Commits

Commits on Jun 8, 2018

• Improve coverity Travis build

  Show description for 6982f86
  smowton

  committed
  6982f86

  Copy full SHA for 6982f86