src/external/c-tap-harness/tests/tap/float.c

   1 /*
   2  * Utility routines for writing floating point tests.
   3  *
   4  * Currently provides only one function, which checks whether a double is
   5  * equal to an expected value within a given epsilon.  This is broken into a
   6  * separate source file from the rest of the basic C TAP library because it
   7  * may require linking with -lm on some platforms, and the package may not
   8  * otherwise care about floating point.
   9  *
  10  * This file is part of C TAP Harness.  The current version plus supporting
  11  * documentation is at <http://www.eyrie.org/~eagle/software/c-tap-harness/>.
  12  *
  13  * Copyright 2008, 2010, 2012 Russ Allbery <rra@stanford.edu>
  14  *
  15  * Permission is hereby granted, free of charge, to any person obtaining a
  16  * copy of this software and associated documentation files (the "Software"),
  17  * to deal in the Software without restriction, including without limitation
  18  * the rights to use, copy, modify, merge, publish, distribute, sublicense,
  19  * and/or sell copies of the Software, and to permit persons to whom the
  20  * Software is furnished to do so, subject to the following conditions:
  21  *
  22  * The above copyright notice and this permission notice shall be included in
  23  * all copies or substantial portions of the Software.
  24  *
  25  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  26  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  27  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.  IN NO EVENT SHALL
  28  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  29  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
  30  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
  31  * DEALINGS IN THE SOFTWARE.
  32  */
  33
  34 /* Required for isnan() and isinf(). */
  35 #if defined(__STRICT_ANSI__) || defined(PEDANTIC)
  36 # ifndef _XOPEN_SOURCE
  37 #  define _XOPEN_SOURCE 600
  38 # endif
  39 #endif
  40
  41 #include <math.h>
  42 #include <stdarg.h>
  43 #include <stdio.h>
  44
  45 #include <tests/tap/basic.h>
  46 #include <tests/tap/float.h>
  47
  48 /*
  49  * Takes an expected double and a seen double and assumes the test passes if
  50  * those two numbers are within delta of each other.
  51  */
  52 void
  53 is_double(double wanted, double seen, double epsilon, const char *format, ...)
  54 {
  55     va_list args;
  56
  57     va_start(args, format);
  58     fflush(stderr);
  59     if ((isnan(wanted) && isnan(seen))
  60         || (isinf(wanted) && isinf(seen) && wanted == seen)
  61         || fabs(wanted - seen) <= epsilon)
  62         okv(1, format, args);
  63     else {
  64         printf("# wanted: %g\n#   seen: %g\n", wanted, seen);
  65         okv(0, format, args);
  66     }
  67 }