Code

Restore returns fix#294

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

danpoe:remove-returnsdanpoe/cbmc:remove-returnsCopy head branch name to clipboard

Nov 7, 2016

Commits

Commits on Nov 3, 2016

• restore returns fix

  danpoe

  committed
  f2619a4

  Copy full SHA for f2619a4

Commits on Nov 5, 2016

• restore returns regression tests

  danpoe

  committed
  0c6ad51

  Copy full SHA for 0c6ad51