123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657 |
- // Copyright (c) 2019 Robert Ramey
- //
- // 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/safe_numerics/safe_integer.hpp>
- #include <boost/safe_numerics/native.hpp>
- #include "test_add_native_results.hpp"
- template <class T>
- using safe_t = boost::safe_numerics::safe<
- T,
- boost::safe_numerics::native
- >;
- #include "test_add_constexpr.hpp"
- using namespace boost::mp11;
- template<typename First, typename Second>
- struct test_pair {
- static const std::size_t i = First();
- static const std::size_t j = Second();
- constexpr static const bool value = test_add_constexpr(
- mp_at_c<test_values, i>()(),
- mp_at_c<test_values, j>()(),
- test_addition_native_result[i][j]
- );
- };
- #include <boost/mp11/list.hpp>
- #include <boost/mp11/algorithm.hpp>
- #include "check_symmetry.hpp"
- int main(){
- using namespace boost::mp11;
- // sanity check on test matrix - should be symetrical
- check_symmetry(test_addition_native_result);
- using value_indices = mp_iota_c<mp_size<test_values>::value>;
- static_assert(
- mp_all_of<
- mp_product<
- test_pair,
- value_indices,
- value_indices
- >,
- mp_to_bool
- >(),
- "all values for all integer types correctly added"
- );
- return 0;
- }
|