Code

Optimize calls to increase_counter#3554

Code

Merged

romainbrenguier merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:optimize/symex-assignmentromainbrenguier/cbmc:optimize/symex-assignmentCopy head branch name to clipboard

Dec 10, 2018

Commits

Commits on Dec 10, 2018

• Use emplace to avoid double lookup

  romainbrenguier

  committed
  1401d12

  Copy full SHA for 1401d12

• Avoid lookup by assigning using iterator

  romainbrenguier

  committed
  ba561d0

  Copy full SHA for ba561d0

• Make increase_counter take iterator

  Show description for e71ca91
  romainbrenguier

  committed
  e71ca91

  Copy full SHA for e71ca91