Code

Remove c_enum_constant_type#7153

Code

Merged

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/remove-enum_constant_typetautschnig/cbmc:cleanup/remove-enum_constant_typeCopy head branch name to clipboard

Oct 10, 2022

Commits

Commits on Sep 26, 2022

• Remove c_enum_constant_type

  Show description for 8fe28ff
  tautschnig

  committed
  8fe28ff

  Copy full SHA for 8fe28ff