Code

Fix for is_threadedt#555

Code

Merged

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

danpoe:is-threaded-fixdanpoe/cbmc:is-threaded-fixCopy head branch name to clipboard

Feb 22, 2017

Commits

Commits on Feb 22, 2017

• Fix an issue in is_threadedt where the is_threaded property was not propagated back to function call sites

  danpoe

  committed
  1587505

  Copy full SHA for 1587505