Code

Add CoW base to value-set#3053

Code

Closed

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

smowton:smowton/feature/value-set-basesmowton/cbmc:smowton/feature/value-set-baseCopy head branch name to clipboard

Commits

Commits on Sep 26, 2018

• Value set: indirect values.find operations via a helper function

  Show description for 48e1e6c
  smowton

  committed
  48e1e6c

  Copy full SHA for 48e1e6c

• Remove unused value_sett::do_free

  Show description for 7b5d5e5
  smowton

  committed
  7b5d5e5

  Copy full SHA for 7b5d5e5

• Value-set: add support for a base value-set

  Show description for ca2a7b3
  smowton

  committed
  ca2a7b3

  Copy full SHA for ca2a7b3

• Add unit test to check value-set behaviour in the presence of constants

  Show description for e8015b8
  smowton

  committed
  e8015b8

  Copy full SHA for e8015b8