Code

simplify the remove_exceptions API#3288

Code

Merged

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

remove_exceptions_ptrdiffblue/cbmc:remove_exceptions_ptrCopy head branch name to clipboard

Nov 9, 2018

Commits

Commits on Nov 8, 2018

• simplify the remove_exceptions API

  Show description for 902cc69
  

  Daniel Kroening

  committed
  902cc69

  Copy full SHA for 902cc69