Code

Fix broken test descriptions#1905

Code

Merged

smowton merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/cleanup/broken-regression-testssmowton/cbmc:smowton/cleanup/broken-regression-testsCopy head branch name to clipboard

Mar 24, 2018

Commits

Commits on Mar 23, 2018

• Fix tests with missing EXIT or SIGNAL tests

  Show description for 3b00bdc
  smowton

  committed
  3b00bdc

  Copy full SHA for 3b00bdc

• Make test lambda1 compatible with symex-driven loading

  Show description for 706ffa7
  smowton

  committed
  706ffa7

  Copy full SHA for 706ffa7