mirror of
https://github.com/saitohirga/WSJT-X.git
synced 2024-11-14 16:11:50 -05:00
54 lines
1.6 KiB
C++
54 lines
1.6 KiB
C++
/* Boost test/fmod.cpp
|
|
* test the fmod with specially crafted integer intervals
|
|
*
|
|
* Copyright 2002-2003 Guillaume Melquiond
|
|
*
|
|
* Distributed under the Boost Software License, Version 1.0.
|
|
* (See accompanying file LICENSE_1_0.txt or
|
|
* copy at http://www.boost.org/LICENSE_1_0.txt)
|
|
*/
|
|
|
|
#include <boost/numeric/interval/interval.hpp>
|
|
#include <boost/numeric/interval/arith.hpp>
|
|
#include <boost/numeric/interval/arith2.hpp>
|
|
#include <boost/numeric/interval/utility.hpp>
|
|
#include <boost/numeric/interval/checking.hpp>
|
|
#include <boost/numeric/interval/rounding.hpp>
|
|
#include <boost/test/minimal.hpp>
|
|
#include "bugs.hpp"
|
|
|
|
struct my_rounded_arith {
|
|
int sub_down(int x, int y) { return x - y; }
|
|
int sub_up (int x, int y) { return x - y; }
|
|
int mul_down(int x, int y) { return x * y; }
|
|
int mul_up (int x, int y) { return x * y; }
|
|
int div_down(int x, int y) {
|
|
int q = x / y;
|
|
return (x % y < 0) ? (q - 1) : q;
|
|
}
|
|
int int_down(int x) { return x; }
|
|
};
|
|
|
|
using namespace boost;
|
|
using namespace numeric;
|
|
using namespace interval_lib;
|
|
|
|
typedef change_rounding<interval<int>, save_state_nothing<my_rounded_arith> >::type I;
|
|
|
|
int test_main(int, char *[]) {
|
|
|
|
BOOST_CHECK(equal(fmod(I(6,9), 7), I(6,9)));
|
|
BOOST_CHECK(equal(fmod(6, I(7,8)), I(6,6)));
|
|
BOOST_CHECK(equal(fmod(I(6,9), I(7,8)), I(6,9)));
|
|
|
|
BOOST_CHECK(equal(fmod(I(13,17), 7), I(6,10)));
|
|
BOOST_CHECK(equal(fmod(13, I(7,8)), I(5,6)));
|
|
BOOST_CHECK(equal(fmod(I(13,17), I(7,8)), I(5,10)));
|
|
|
|
BOOST_CHECK(equal(fmod(I(-17,-13), 7), I(4,8)));
|
|
BOOST_CHECK(equal(fmod(-17, I(7,8)), I(4,7)));
|
|
BOOST_CHECK(equal(fmod(I(-17,-13), I(7,8)), I(4,11)));
|
|
|
|
return 0;
|
|
}
|