Code

Unsafe type constructors#1722

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

unsafe_type_constructorsdiffblue/cbmc:unsafe_type_constructorsCopy head branch name to clipboard

Jan 10, 2018

Commits

Commits on Jan 10, 2018

• no longer use deprecated constructors for some bitvector types

  

  Daniel Kroening

  committed
  c96e02a

  Copy full SHA for c96e02a

• remove deprecated constructors for three bitvector types

  

  Daniel Kroening

  committed
  9c5add4

  Copy full SHA for 9c5add4