log tests/div.ur

age author description
2011-12-03 Adam Chlipala Catching integer divisions by zero