Code

Remove type_eq [blocks: #4056]#4304

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:remove-type_eqtautschnig/cbmc:remove-type_eqCopy head branch name to clipboard

Mar 1, 2019

Commits

Commits on Mar 1, 2019

• Remove type_eq

  Show description for 77e9048
  

  Daniel Kroening

  authored and

  tautschnig

  committed
  77e9048

  Copy full SHA for 77e9048