Code

Lambda lazy loading [TG-2485]#1918

Code

Merged

thk123 merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:tests/tg-2485/lambda-lazy-loadingthk123/cbmc:tests/tg-2485/lambda-lazy-loadingCopy head branch name to clipboard

Mar 13, 2018

Commits

Commits on Mar 13, 2018

• Adding utility for getting symbols out of the symbol table

  

  thk123

  committed
  28c6477

  Copy full SHA for 28c6477

• Adding unit tests for verifying the behaviour of lazy methods on lambdas

  

  thk123

  committed
  e1961d8

  Copy full SHA for e1961d8