add check for division by zero#339

klausnat wants to merge 1 commit intoGillianPlatform:masterGillianPlatform/Gillian:masterfrom

klausnat:gillian-js_check_for_division_by_zeroklausnat/Gillian:gillian-js_check_for_division_by_zeroCopy head branch name to clipboard