Code

Tidying up for lambdas [TG-2478]#1978

Code

Merged

thk123 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom majakusber:lambda_tg2478_contmajakusber/cbmc:lambda_tg2478_contCopy head branch name to clipboardMar 29, 2018

+5-5

Commits

Commits on Mar 28, 2018

• Tidying up for lambdas

  majakusber

  committed
  f428247

  Copy full SHA for f428247