Code

Uncaught exceptions analysis#940

Code

Merged

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

cristina-david:feature/uncaught-exceptionscristina-david/cbmc:feature/uncaught-exceptionsCopy head branch name to clipboard

May 31, 2017

Commits

Commits on May 24, 2017

• Added an uncaught exceptions analysis

  Show description for d437833
  cristina-david

  committed
  d437833

  Copy full SHA for d437833

• add the uncaught exceptions analysis to the Makefile

  cristina-david

  committed
  047671b

  Copy full SHA for 047671b

• Make sure that both the caller and callee have exceptional return vars before instrumenting function calls

  cristina-david

  committed
  ca693b4

  Copy full SHA for ca693b4

• Modified the expected goto-program for cbmc-java/virtual7

  Show description for f59ec9a
  cristina-david

  committed
  f59ec9a

  Copy full SHA for f59ec9a

• Ignore AssertionError

  Show description for 47cd927
  cristina-david

  committed
  47cd927

  Copy full SHA for 47cd927

Commits on May 25, 2017

• Remove duplicate version of class_hierarchyt::get_children_trans_rec

  cristina-david

  committed
  229817d

  Copy full SHA for 229817d

Commits on May 31, 2017

• Addressed reviewers comments

  cristina-david

  committed
  f42cc33

  Copy full SHA for f42cc33