Code

Restore irept sharing#1855

Code

Closed

NathanJPhillips wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:bugfix/restore-irep-sharingNathanJPhillips/cbmc:bugfix/restore-irep-sharingCopy head branch name to clipboard

Commits

Commits on Mar 29, 2018

• Enable sharing of irept's as long as no references are held to sub-parts

  Show description for dd5ab8f
  NathanJPhillips

  committed
  dd5ab8f

  Copy full SHA for dd5ab8f