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
7 import ../build/boost_contract_build ;
8 import ../../config/checks/config : requires ;
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 ]
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 ]
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 ]
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 ]
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 ]
70 [ boost_contract_build.subdir-run-cxx11 meyer97 : stack4_main ]
71 [ boost_contract_build.subdir-run-cxx11 meyer97 : stack3 ]
74 test-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 ]
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 ]