summaryrefslogtreecommitdiff
path: root/tests/div.dat
Commit message (Collapse)AuthorAgeFilesLines
* increase code coverage to 99.9%zimmerma2012-06-281-0/+6
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1199 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* log.dat, log.c: analyse infinite loop for test added in r1192enge2012-06-271-1/+1
| | | | | | | as a preliminary workaround, add assertion and disable test git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1198 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* [src/div.c] correct handling of negative overflowsbdadoun2012-06-271-2/+8
| | | | | | | [tests/div.dat] examples to exercise negative overflows git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1182 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* [test/div.dat] added an example to exercise overflow on real part (Benjamin ↵bdadoun2012-06-271-1/+3
| | | | | | Dadoun) git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1178 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* [div.dat] added example to exercise overflowzimmerma2012-06-261-0/+3
| | | | | | | | [div.c] deal with overflow (both common work with Benjamin Dadoun) git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1175 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* [read_data.c] added random tests to check that MPC does not *clear* MPFR flagszimmerma2012-02-291-4/+4
| | | | | | | | | | (some flags might be *set* internally however) [pow.c,exp.c,norm.c,div.c] fix issues with MPFR flags which were cleared but not reset to their initial value [div.dat] updated current result of some commented out failing tests git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1131 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* div.c: fixed bad application of mpfr_can_round trick - do not put in the sameenge2011-09-021-0/+3
| | | | | | | | directed rounding mode twice div.dat: added example exposing the bug git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1078 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* div.c: some heuristics for intermediate under-/overflowsenge2011-09-021-3/+27
| | | | | | | | | | div.dat: added (and commented out) test cases that should give 1 or i, but fail due to intermediate under-/overflows; returned results are Nan or infinite tui_div currently fails git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1077 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* div.c: implemented return valueenge2011-09-021-2/+2
| | | | | | | div.dat: updated accordingly git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1075 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* div.c: more stringent handling of over- and underflowsenge2011-09-021-2/+7
| | | | | | | | div.dat: added tests with intermediate over- or underflows The result of div may be wrong in such cases. git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1074 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* div.dat: removed return value test, which is semi-specified according to theenge2011-09-011-1/+1
| | | | | | | documentation git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1067 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* tdiv.c, div.dat: moved tests to data fileenge2011-09-011-1/+10
| | | | | | | | exposes a sign bug in mpc_div read_data.c: corrected undocumented assumption on mpfr_signbit git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1064 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* license change:enge2011-08-291-13/+11
| | | | | | | | | | | | LGPLv3+ for code FDLv1.3+ for mpc.texi simple disclaimer for supporting files (README, NEWS, INSTALL) tests/memory.c: replaced by version from mpfr-3.0.1 mpfr.texi: small cleanups; added real authors again, while keeping copyright notice with INRIA git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1027 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* finished change of copyright line into "Copyright (C) INRIA, year1, year2, ..."zimmerma2011-01-251-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@891 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* [div.c] fixed overflow/underflow (reported by Emmanuel Thome)zimmerma2010-07-201-1/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@811 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* misc/testgen: adapted generation of test files to new definition of divenge2009-08-211-749/+748
| | | | | | | | trunk/tests/div.dat, fr_div.dat: adapted test files src/div.c: debugged division code git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@654 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* div: modified as followsenge2009-08-201-179/+179
| | | | | | | | | | | - if divisor has zero imaginary part, treated as real number; - if divisor has non-zero imaginary and zero real part, treated as purely imaginary number The order is important for numbers with both real and imaginary part equal to zero. git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@651 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* tests/read_data.c: now read and optionally check inexact flag.thevenyp2008-12-051-2401/+2401
| | | | | | | tests/*.dat: add two columns for ternary value. git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@383 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* newline at the end of the files, to help diagnostic anenge2008-11-201-0/+1
| | | | | | | erroneous read beyond EOF git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@345 211d60ee-9f03-0410-a15a-8952a2c7a4e4
* - added data files for norm, div, div_fr, fr_div, mul_frenge2008-11-131-0/+2427
- debugged some of the corresponding functions - tests/mpc-tests.h: removal of macros - tests/read_data.c: reorganisation of reused code in functions git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@299 211d60ee-9f03-0410-a15a-8952a2c7a4e4
View Lorry Controller Status