Code

type_with_subtype constructor#3160

Code

Merged

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

type-with-subtype-constructordiffblue/cbmc:type-with-subtype-constructorCopy head branch name to clipboard

Oct 14, 2018

Commits

Commits on Oct 14, 2018

• bitvector_typet does not necessarily have a subtype

  

  Daniel Kroening

  committed
  fe962a6

  Copy full SHA for fe962a6

• remove type_with_subtypet::type_with_subtypet()

  

  Daniel Kroening

  committed
  f1f4cb1

  Copy full SHA for f1f4cb1