Throw ArithmeticException whenever a division-by-zero is encountered#950

cristina-david wants to merge 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

cristina-david:feature/throw-arithmetic-exceptioncristina-david/cbmc:feature/throw-arithmetic-exceptionCopy head branch name to clipboard