Code

Sharing map sharing statistics#2509

Code

Merged

danpoe merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

danpoe:feature/sharing-map-statsdanpoe/cbmc:feature/sharing-map-statsCopy head branch name to clipboard

Jul 31, 2018

Commits

Commits on Jul 31, 2018

• Activate internal checks for the sharing map unit tests

  danpoe

  committed
  be7e140

  Copy full SHA for be7e140

• Remove wrong sharing map internal assertions

  danpoe

  committed
  332febe

  Copy full SHA for 332febe

• Fix sharing map internal assertion

  danpoe

  committed
  4438b43

  Copy full SHA for 4438b43

• Sharing stats for the sharing map

  danpoe

  committed
  186897c

  Copy full SHA for 186897c

• Move sharing map friends declarations to unit tests

  danpoe

  committed
  4ae8eb6

  Copy full SHA for 4ae8eb6