Code

JBMC: Remove-returns per function#1730

Code

Merged

smowton merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/remove_returns_per_functionsmowton/cbmc:smowton/feature/remove_returns_per_functionCopy head branch name to clipboard

Jan 23, 2018

Commits

Commits on Jan 23, 2018

• Remove returns: support running per-function

  Show description for a7595c1
  smowton

  committed
  a7595c1

  Copy full SHA for a7595c1

• JBMC: remove return values on a per-function basis

  smowton

  committed
  96569c3

  Copy full SHA for 96569c3