Add test-case for #8726

Authored by hvr on Feb 2 2014, 5:08 AM.

Description

Add test-case for Trac #8726

This tests various properties expected to hold for
quotRem, divMod, div, mod, quot, and rem.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Details

Committed
hvrFeb 2 2014, 7:15 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFb5c45d845389: Remove unused import
Branches
Unknown
Tags
Unknown