blob: 459e0d4857a07c06ebabfa68def8a893a15b3b88 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// Copyright Catch2 Authors
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE.txt or copy at
// https://www.boost.org/LICENSE_1_0.txt)
// SPDX-License-Identifier: BSL-1.0
#include <catch2/catch_test_macros.hpp>
#include <catch2/internal/catch_compare_traits.hpp>
#include <helpers/type_with_lit_0_comparisons.hpp>
#define ADD_TRAIT_TEST_CASE( op ) \
TEST_CASE( "is_" #op "_comparable", \
"[traits][is_comparable][approvals]" ) { \
using Catch::Detail::is_##op##_0_comparable; \
using Catch::Detail::is_##op##_comparable; \
\
STATIC_REQUIRE( is_##op##_comparable<int, int>::value ); \
STATIC_REQUIRE( \
is_##op##_comparable<std::string, std::string>::value ); \
STATIC_REQUIRE( !is_##op##_comparable<int, std::string>::value ); \
STATIC_REQUIRE( \
!is_##op##_comparable<TypeWithLit0Comparisons, int>::value ); \
STATIC_REQUIRE( \
!is_##op##_comparable<int, TypeWithLit0Comparisons>::value ); \
\
STATIC_REQUIRE( is_##op##_0_comparable<int>::value ); \
STATIC_REQUIRE( \
is_##op##_0_comparable<TypeWithLit0Comparisons>::value ); \
STATIC_REQUIRE( !is_##op##_0_comparable<std::string>::value ); \
\
/* This test fails with MSVC in permissive mode, because of course it does */ \
/* STATIC_REQUIRE( !is_##op##_0_comparable<int*>::value ); */ \
}
ADD_TRAIT_TEST_CASE(lt)
ADD_TRAIT_TEST_CASE(gt)
ADD_TRAIT_TEST_CASE(le)
ADD_TRAIT_TEST_CASE(ge)
ADD_TRAIT_TEST_CASE(eq)
ADD_TRAIT_TEST_CASE(ne)
#undef ADD_TRAIT_TEST_CASE
|
