mpq_cmp_z

[Marco Bodrato]

Ciao,

Il Gio, 3 Settembre 2015 11:14 am, Torbjörn Granlund ha scritto:
> "Marco Bodrato" <bodrato at mail.dm.unipi.it> writes:
>   PS: I'm not very happy for the testing code... too general to finely
>   explore the corner cases for the size-based branches...

> All branches except the SALLOC/BALLOC ones hiding under TMP_* seem to be
> covered: https://gmplib.org/devel/lcov/shell/gmp/mpq/cmp.c.gcov.html

I know, but when you write conditions like (a>b) you don't just have to
test the two cases (a>b) and (a<b), you may need to be sure that the
corner-cases (eg, a==b) are tested.

With the last push, I'm satisfied.

Regards,
m

-- 
http://bodrato.it/