Add tests for new internal GMP primitives

Authored by hvr on Oct 1 2013, 4:37 AM.

Description

Add tests for new internal GMP primitives

See [ce8ec963/integer-gmp] and [97c101b7/integer-gmp] for more details

Details

Committed
hvrOct 1 2013, 4:40 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFba3ae9c630b7: Fix T8129 (#8129)
Branches
Unknown
Tags
Unknown