• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1
2# Copyright (C) 2008-2018 Lorenzo Caminiti
3# Distributed under the Boost Software License, Version 1.0 (see accompanying
4# file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
5# See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
6
7import ../build/boost_contract_build ;
8import ../../config/checks/config : requires ;
9
10test-suite features :
11    [ boost_contract_build.subdir-run features : introduction_comments ]
12    [ boost_contract_build.subdir-run-cxx11 features : introduction ]
13    [ boost_contract_build.subdir-run-cxx11 features : introduction_public ]
14
15    [ boost_contract_build.subdir-run-cxx11 features : non_member ]
16    [ boost_contract_build.subdir-run-cxx11 features : lambda ]
17    [ boost_contract_build.subdir-run-cxx11 features : loop ]
18    [ boost_contract_build.subdir-run-cxx11 features : code_block ]
19    [ boost_contract_build.subdir-run-cxx11 features : public ]
20    [ boost_contract_build.subdir-run-cxx11 features : base_types ]
21    [ boost_contract_build.subdir-run-cxx11 features : static_public ]
22    [ boost_contract_build.subdir-run-cxx11 features : private_protected ]
23    [ boost_contract_build.subdir-run-cxx11 features :
24            private_protected_virtual ]
25    [ boost_contract_build.subdir-run-cxx11 features :
26            private_protected_virtual_multi ]
27    [ boost_contract_build.subdir-run-cxx11 features : check ]
28
29    [ boost_contract_build.subdir-run-cxx11 features : friend ]
30    [ boost_contract_build.subdir-run-cxx11 features : friend_invariant ]
31    [ boost_contract_build.subdir-run-cxx11 features : old ]
32    [ boost_contract_build.subdir-run-cxx11 features : optional_result ]
33    [ boost_contract_build.subdir-run-cxx11 features : optional_result_virtual ]
34    [ boost_contract_build.subdir-run-cxx11 features : pure_virtual_public ]
35    [ boost_contract_build.subdir-run-cxx11 features : overload ]
36    [ boost_contract_build.subdir-run-cxx11 features : named_override ]
37    [ boost_contract_build.subdir-run-cxx11 features : move ]
38    [ boost_contract_build.subdir-run-cxx11 features : union ]
39    [ boost_contract_build.subdir-run features : volatile ]
40
41    [ boost_contract_build.subdir-run-cxx11 features : old_if_copyable ]
42    [ boost_contract_build.subdir-run-cxx11 features : if_constexpr :
43            [ requires cxx17_if_constexpr ] ]
44    [ boost_contract_build.subdir-run-cxx11 features : condition_if ]
45    [ boost_contract_build.subdir-run-cxx11 features : call_if_cxx14 :
46            [ requires cxx14_generic_lambdas ] ]
47    [ boost_contract_build.subdir-run-cxx11 features : access ]
48    [ boost_contract_build.subdir-run-cxx11 features : separate_body ]
49    [ boost_contract_build.subdir-run-cxx11 features : throw_on_failure ]
50    [ boost_contract_build.subdir-run-cxx11 features : ifdef ]
51    [ boost_contract_build.subdir-run-cxx11 features : assertion_level ]
52    [ boost_contract_build.subdir-run-cxx11 features : ifdef_macro ]
53    [ boost_contract_build.subdir-run-cxx11 features : base_types_no_macro ]
54    [ boost_contract_build.subdir-run-cxx11 features : old_no_macro ]
55    # Still needs C++11 for OLDOF variadic macros.
56    [ boost_contract_build.subdir-run-cxx11 features : no_lambdas ]
57    [ boost_contract_build.subdir-run-cxx11 features : no_lambdas_local_func ]
58;
59
60test-suite n1962 :
61    [ boost_contract_build.subdir-run-cxx11 n1962 : vector ]
62    [ boost_contract_build.subdir-run-cxx11 n1962 : sqrt ]
63    [ boost_contract_build.subdir-run-cxx11 n1962 : circle ]
64    [ boost_contract_build.subdir-run-cxx11 n1962 : equal ]
65    [ boost_contract_build.subdir-run-cxx11 n1962 : factorial ]
66    [ boost_contract_build.subdir-run-cxx11 n1962 : sum ]
67;
68
69test-suite meyer97 :
70    [ boost_contract_build.subdir-run-cxx11 meyer97 : stack4_main ]
71    [ boost_contract_build.subdir-run-cxx11 meyer97 : stack3 ]
72;
73
74test-suite mitchell02 :
75    [ boost_contract_build.subdir-run-cxx11 mitchell02 : stack ]
76    [ boost_contract_build.subdir-run-cxx11 mitchell02 : simple_queue ]
77    [ boost_contract_build.subdir-run-cxx11 mitchell02 : dictionary ]
78    [ boost_contract_build.subdir-run-cxx11 mitchell02 : customer_manager ]
79    [ boost_contract_build.subdir-run-cxx11 mitchell02 : name_list ]
80    [ boost_contract_build.subdir-run-cxx11 mitchell02 : courier ]
81    [ boost_contract_build.subdir-run-cxx11 mitchell02 : observer_main ]
82    [ boost_contract_build.subdir-run-cxx11 mitchell02 : counter_main ]
83;
84
85test-suite cline90 :
86    [ boost_contract_build.subdir-run-cxx11 cline90 : stack ]
87    [ boost_contract_build.subdir-run-cxx11 cline90 : vector_main ]
88    [ boost_contract_build.subdir-run-cxx11 cline90 : vstack ]
89    [ boost_contract_build.subdir-run-cxx11 cline90 : calendar ]
90;
91
92