Code

RFC: handling of fatal errors#1280

Code

Closed

peterschrammel wants to merge 4 commits intodiffblue:developdiffblue/cbmc:developfrom

peterschrammel:feature/more-exception-typespeterschrammel/cbmc:feature/more-exception-typesCopy head branch name to clipboard

Commits

Commits on Aug 22, 2017

• Fix header guard

  peterschrammel

  committed
  752fc31

  Copy full SHA for 752fc31

• Some basic exception types

  peterschrammel

  committed
  b2c6da2

  Copy full SHA for b2c6da2

• Use exceptions

  peterschrammel

  committed
  fcaf840

  Copy full SHA for fcaf840

• Catch exceptions at top level

  peterschrammel

  committed
  3c96425

  Copy full SHA for 3c96425