Code

Implement exception catching#1196

Code

Merged

smowton merged 7 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/fix/exception_catchsmowton/cbmc:smowton/fix/exception_catchCopy head branch name to clipboard

Aug 10, 2017

Commits

Commits on Aug 9, 2017

• Implement Java exception catching

  Show description for 69221aa
  smowton

  committed
  69221aa

  Copy full SHA for 69221aa

• Implement universal exception handlers

  Show description for 4e13ea9
  smowton

  committed
  4e13ea9

  Copy full SHA for 4e13ea9

• Replace direct use of EXC_SUFFIX with a universal catch

  smowton

  committed
  08f6b27

  Copy full SHA for 08f6b27

• Add tests for Java finally construct

  Show description for d15c67d
  smowton

  committed
  d15c67d

  Copy full SHA for d15c67d

• Clean up CATCH instruction code

  Show description for 5d534eb
  smowton

  committed
  5d534eb

  Copy full SHA for 5d534eb

• Style fixes

  Show description for c11bba0
  smowton

  committed
  c11bba0

  Copy full SHA for c11bba0

• Add overview documentation for remove-exceptions.

  smowton

  committed
  9a1289d

  Copy full SHA for 9a1289d