blob: 3fe6e2fa087bd0138cd67b21b9b15c386f3c7657 (
plain)
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
# Copyright (C) 2008-2018 Lorenzo Caminiti
# Distributed under the Boost Software License, Version 1.0 (see accompanying
# file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
# See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
import ../build/boost_contract_build ;
import ../../config/checks/config : requires ;
test-suite features :
[ boost_contract_build.subdir-run features : introduction_comments ]
[ boost_contract_build.subdir-run-cxx11 features : introduction ]
[ boost_contract_build.subdir-run-cxx11 features : introduction_public ]
[ boost_contract_build.subdir-run-cxx11 features : non_member ]
[ boost_contract_build.subdir-run-cxx11 features : lambda ]
[ boost_contract_build.subdir-run-cxx11 features : loop ]
[ boost_contract_build.subdir-run-cxx11 features : code_block ]
[ boost_contract_build.subdir-run-cxx11 features : public ]
[ boost_contract_build.subdir-run-cxx11 features : base_types ]
[ boost_contract_build.subdir-run-cxx11 features : static_public ]
[ boost_contract_build.subdir-run-cxx11 features : private_protected ]
[ boost_contract_build.subdir-run-cxx11 features :
private_protected_virtual ]
[ boost_contract_build.subdir-run-cxx11 features :
private_protected_virtual_multi ]
[ boost_contract_build.subdir-run-cxx11 features : check ]
[ boost_contract_build.subdir-run-cxx11 features : friend ]
[ boost_contract_build.subdir-run-cxx11 features : friend_invariant ]
[ boost_contract_build.subdir-run-cxx11 features : old ]
[ boost_contract_build.subdir-run-cxx11 features : optional_result ]
[ boost_contract_build.subdir-run-cxx11 features : optional_result_virtual ]
[ boost_contract_build.subdir-run-cxx11 features : pure_virtual_public ]
[ boost_contract_build.subdir-run-cxx11 features : overload ]
[ boost_contract_build.subdir-run-cxx11 features : named_override ]
[ boost_contract_build.subdir-run-cxx11 features : move ]
[ boost_contract_build.subdir-run-cxx11 features : union ]
[ boost_contract_build.subdir-run features : volatile ]
[ boost_contract_build.subdir-run-cxx11 features : old_if_copyable ]
[ boost_contract_build.subdir-run-cxx11 features : if_constexpr :
[ requires cxx17_if_constexpr ] ]
[ boost_contract_build.subdir-run-cxx11 features : condition_if ]
[ boost_contract_build.subdir-run-cxx11 features : call_if_cxx14 :
[ requires cxx14_generic_lambdas ] ]
[ boost_contract_build.subdir-run-cxx11 features : access ]
[ boost_contract_build.subdir-run-cxx11 features : separate_body ]
[ boost_contract_build.subdir-run-cxx11 features : throw_on_failure ]
[ boost_contract_build.subdir-run-cxx11 features : ifdef ]
[ boost_contract_build.subdir-run-cxx11 features : assertion_level ]
[ boost_contract_build.subdir-run-cxx11 features : ifdef_macro ]
[ boost_contract_build.subdir-run-cxx11 features : base_types_no_macro ]
[ boost_contract_build.subdir-run-cxx11 features : old_no_macro ]
# Still needs C++11 for OLDOF variadic macros.
[ boost_contract_build.subdir-run-cxx11 features : no_lambdas ]
[ boost_contract_build.subdir-run-cxx11 features : no_lambdas_local_func ]
;
test-suite n1962 :
[ boost_contract_build.subdir-run-cxx11 n1962 : vector ]
[ boost_contract_build.subdir-run-cxx11 n1962 : sqrt ]
[ boost_contract_build.subdir-run-cxx11 n1962 : circle ]
[ boost_contract_build.subdir-run-cxx11 n1962 : equal ]
[ boost_contract_build.subdir-run-cxx11 n1962 : factorial ]
[ boost_contract_build.subdir-run-cxx11 n1962 : sum ]
;
test-suite meyer97 :
[ boost_contract_build.subdir-run-cxx11 meyer97 : stack4_main ]
[ boost_contract_build.subdir-run-cxx11 meyer97 : stack3 ]
;
test-suite mitchell02 :
[ boost_contract_build.subdir-run-cxx11 mitchell02 : stack ]
[ boost_contract_build.subdir-run-cxx11 mitchell02 : simple_queue ]
[ boost_contract_build.subdir-run-cxx11 mitchell02 : dictionary ]
[ boost_contract_build.subdir-run-cxx11 mitchell02 : customer_manager ]
[ boost_contract_build.subdir-run-cxx11 mitchell02 : name_list ]
[ boost_contract_build.subdir-run-cxx11 mitchell02 : courier ]
[ boost_contract_build.subdir-run-cxx11 mitchell02 : observer_main ]
[ boost_contract_build.subdir-run-cxx11 mitchell02 : counter_main ]
;
test-suite cline90 :
[ boost_contract_build.subdir-run-cxx11 cline90 : stack ]
[ boost_contract_build.subdir-run-cxx11 cline90 : vector_main ]
[ boost_contract_build.subdir-run-cxx11 cline90 : vstack ]
[ boost_contract_build.subdir-run-cxx11 cline90 : calendar ]
;
|
