Add tests for new internal GMP primitives

Authored by hvr on Oct 28 2013, 3:46 PM.

Description

Add tests for new internal GMP primitives

This adds some simple tests for the primitives introduced
in [4d7cd68b/integer-gmp] and [d466dfc8/integer-gmp].

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

Details

Committed
hvrOct 28 2013, 3:46 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFe5b0a50928a1: Follow version bump of `pretty`
Branches
Unknown
Tags
Unknown