Code

Refactor in value_set#4702

Code

Merged

romainbrenguier merged 5 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:refactor/value-setromainbrenguier/cbmc:refactor/value-setCopy head branch name to clipboard

May 29, 2019

Commits

Commits on May 28, 2019

• Improve debug logging of value_set_dereferencet

  Show description for f2d42eb
  romainbrenguier

  committed
  f2d42eb

  Copy full SHA for f2d42eb

• Add indent argument to value_set output

  Show description for bb9e9cc
  romainbrenguier

  committed
  bb9e9cc

  Copy full SHA for bb9e9cc

• Improve debug logging in get_value_set

  Show description for 4e353d3
  romainbrenguier

  committed
  4e353d3

  Copy full SHA for 4e353d3

• Use ranget map to get values

  Show description for 36e9770
  romainbrenguier

  committed
  36e9770

  Copy full SHA for 36e9770

• Use ranget fiter for retained_values in dereference

  Show description for 4f40147
  romainbrenguier

  committed
  4f40147

  Copy full SHA for 4f40147