Code

Throw on divide-by-zero#1200

Code

Merged

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

smowton:feature/throw-arithmetic-exceptionsmowton/cbmc:feature/throw-arithmetic-exceptionCopy head branch name to clipboard

Aug 8, 2017

Commits

Commits on Aug 7, 2017

• Throw ArithmeticException whenever a division-by-zero is encountered

  

  cristina-david

  authored and

  smowton

  committed
  6ed24e5

  Copy full SHA for 6ed24e5

• Regression test for ArithmeticException

  

  cristina-david

  authored and

  smowton

  committed
  fb89e5a

  Copy full SHA for fb89e5a