Code

Sharing Map Unit Tests#887

Code

Closed

thk123 wants to merge 4 commits intodiffblue:developdiffblue/cbmc:developfrom

thk123:feature/sharing-map-unit-teststhk123/cbmc:feature/sharing-map-unit-testsCopy head branch name to clipboard

Commits

Commits on May 16, 2017

• Move sharing map unit tests to use catch

  

  thk123

  committed
  28bc6c2

  Copy full SHA for 28bc6c2

• Move sharing map into correct directory

  

  thk123

  committed
  95903a6

  Copy full SHA for 95903a6

• Fixing lint in sharing map

  Show description for a64de5f
  

  thk123

  committed
  a64de5f

  Copy full SHA for a64de5f

• Fixed iterator in sharing node

  Show description for 44c58f2
  

  thk123

  committed
  44c58f2

  Copy full SHA for 44c58f2