Code

Small shared two-way pointer#2072

Code

Merged

danpoe merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

danpoe:feature/small-shared-two-way-ptrdanpoe/cbmc:feature/small-shared-two-way-ptrCopy head branch name to clipboard

Apr 24, 2018

Commits

Commits on Apr 23, 2018

• Small shared two way pointer

  danpoe

  committed
  35c4be7

  Copy full SHA for 35c4be7