]>
Commit | Line | Data |
---|---|---|
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 | ||
7 | import ../build/boost_contract_build ; | |
8 | import ../../config/checks/config : requires ; | |
9 | ||
10 | test-suite constructor : | |
11 | [ boost_contract_build.subdir-run-cxx11 constructor : smoke ] | |
12 | ||
13 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_pre_all ] | |
14 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_pre_ends ] | |
15 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_pre_mid ] | |
16 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_pre_none ] | |
17 | ||
18 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_post_all ] | |
19 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_post_ends ] | |
20 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_post_mid ] | |
21 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_post_none ] | |
22 | ||
23 | [ boost_contract_build.subdir-run-cxx11 constructor : | |
24 | decl_entry_static_inv_all ] | |
25 | [ boost_contract_build.subdir-run-cxx11 constructor : | |
26 | decl_entry_static_inv_ends ] | |
27 | [ boost_contract_build.subdir-run-cxx11 constructor : | |
28 | decl_entry_static_inv_mid ] | |
29 | [ boost_contract_build.subdir-run-cxx11 constructor : | |
30 | decl_entry_static_inv_none ] | |
31 | ||
32 | [ boost_contract_build.subdir-run-cxx11 constructor : | |
33 | decl_exit_static_inv_all ] | |
34 | [ boost_contract_build.subdir-run-cxx11 constructor : | |
35 | decl_exit_static_inv_ends ] | |
36 | [ boost_contract_build.subdir-run-cxx11 constructor : | |
37 | decl_exit_static_inv_mid ] | |
38 | [ boost_contract_build.subdir-run-cxx11 constructor : | |
39 | decl_exit_static_inv_none ] | |
40 | ||
41 | # No decl_entry_static_inv_... (as no obj before ctor). | |
42 | ||
43 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_exit_inv_all ] | |
44 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_exit_inv_ends ] | |
45 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_exit_inv_mid ] | |
46 | [ boost_contract_build.subdir-run-cxx11 constructor : decl_exit_inv_none ] | |
47 | ||
48 | [ boost_contract_build.subdir-run-cxx11 constructor : access ] | |
49 | ||
50 | [ boost_contract_build.subdir-run-cxx11 constructor : ifdef ] | |
51 | [ boost_contract_build.subdir-run-cxx11 constructor : ifdef_macro ] | |
52 | ||
53 | [ boost_contract_build.subdir-run-cxx11 constructor : throwing_pre ] | |
54 | [ boost_contract_build.subdir-run-cxx11 constructor : throwing_old ] | |
55 | [ boost_contract_build.subdir-run-cxx11 constructor : throwing_body ] | |
56 | [ boost_contract_build.subdir-run-cxx11 constructor : throwing_post ] | |
57 | # No throwing_except test (as throwing twice calls terminate). | |
58 | ||
59 | [ boost_contract_build.subdir-compile-fail-cxx11 constructor : pre_error ] | |
60 | ; | |
61 | ||
62 | test-suite destructor : | |
63 | [ boost_contract_build.subdir-run-cxx11 destructor : smoke ] | |
64 | ||
65 | # No decl_pre_... (as dtors have no pre). | |
66 | ||
67 | [ boost_contract_build.subdir-run-cxx11 destructor : decl_post_all ] | |
68 | [ boost_contract_build.subdir-run-cxx11 destructor : decl_post_ends ] | |
69 | [ boost_contract_build.subdir-run-cxx11 destructor : decl_post_mid ] | |
70 | [ boost_contract_build.subdir-run-cxx11 destructor : decl_post_none ] | |
71 | ||
72 | [ boost_contract_build.subdir-run-cxx11 destructor : | |
73 | decl_entry_static_inv_all ] | |
74 | [ boost_contract_build.subdir-run-cxx11 destructor : | |
75 | decl_entry_static_inv_ends ] | |
76 | [ boost_contract_build.subdir-run-cxx11 destructor : | |
77 | decl_entry_static_inv_mid ] | |
78 | [ boost_contract_build.subdir-run-cxx11 destructor : | |
79 | decl_entry_static_inv_none ] | |
80 | ||
81 | [ boost_contract_build.subdir-run-cxx11 destructor : | |
82 | decl_exit_static_inv_all ] | |
83 | [ boost_contract_build.subdir-run-cxx11 destructor : | |
84 | decl_exit_static_inv_ends ] | |
85 | [ boost_contract_build.subdir-run-cxx11 destructor : | |
86 | decl_exit_static_inv_mid ] | |
87 | [ boost_contract_build.subdir-run-cxx11 destructor : | |
88 | decl_exit_static_inv_none ] | |
89 | ||
90 | [ boost_contract_build.subdir-run-cxx11 destructor : decl_entry_inv_all ] | |
91 | [ boost_contract_build.subdir-run-cxx11 destructor : decl_entry_inv_ends ] | |
92 | [ boost_contract_build.subdir-run-cxx11 destructor : decl_entry_inv_mid ] | |
93 | [ boost_contract_build.subdir-run-cxx11 destructor : decl_entry_inv_none ] | |
94 | ||
95 | # No decl_exit_inv_... (as no obj after dtor). | |
96 | ||
97 | [ boost_contract_build.subdir-run-cxx11 destructor : access ] | |
98 | ||
99 | [ boost_contract_build.subdir-run-cxx11 destructor : ifdef ] | |
100 | [ boost_contract_build.subdir-run-cxx11 destructor : ifdef_macro ] | |
101 | ||
102 | # No throwing_pre test (as dtors have no pre). | |
103 | [ boost_contract_build.subdir-run-cxx11 destructor : throwing_old ] | |
104 | [ boost_contract_build.subdir-run-cxx11 destructor : throwing_body ] | |
105 | [ boost_contract_build.subdir-run-cxx11 destructor : throwing_post ] | |
106 | # No throwing_except test (as throwing twice calls terminate). | |
107 | ||
108 | [ boost_contract_build.subdir-compile-fail-cxx11 destructor : pre_error ] | |
109 | ; | |
110 | ||
111 | test-suite public_function : | |
112 | [ boost_contract_build.subdir-run-cxx11 public_function : smoke ] | |
113 | ||
114 | [ boost_contract_build.subdir-run-cxx11 public_function : decl_pre_all ] | |
115 | [ boost_contract_build.subdir-run-cxx11 public_function : decl_pre_ends ] | |
116 | [ boost_contract_build.subdir-run-cxx11 public_function : decl_pre_mid ] | |
117 | [ boost_contract_build.subdir-run-cxx11 public_function : decl_pre_none ] | |
118 | ||
119 | [ boost_contract_build.subdir-run-cxx11 public_function : decl_post_all ] | |
120 | [ boost_contract_build.subdir-run-cxx11 public_function : decl_post_ends ] | |
121 | [ boost_contract_build.subdir-run-cxx11 public_function : decl_post_mid ] | |
122 | [ boost_contract_build.subdir-run-cxx11 public_function : decl_post_none ] | |
123 | ||
124 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
125 | decl_entry_static_inv_all ] | |
126 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
127 | decl_entry_static_inv_ends ] | |
128 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
129 | decl_entry_static_inv_mid ] | |
130 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
131 | decl_entry_static_inv_none ] | |
132 | ||
133 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
134 | decl_exit_static_inv_all ] | |
135 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
136 | decl_exit_static_inv_ends ] | |
137 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
138 | decl_exit_static_inv_mid ] | |
139 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
140 | decl_exit_static_inv_none ] | |
141 | ||
142 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
143 | decl_entry_inv_all ] | |
144 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
145 | decl_entry_inv_ends ] | |
146 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
147 | decl_entry_inv_mid ] | |
148 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
149 | decl_entry_inv_none ] | |
150 | ||
151 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
152 | decl_exit_inv_all ] | |
153 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
154 | decl_exit_inv_ends ] | |
155 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
156 | decl_exit_inv_mid ] | |
157 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
158 | decl_exit_inv_none ] | |
159 | ||
160 | [ boost_contract_build.subdir-run-cxx11 public_function : access ] | |
161 | ||
162 | [ boost_contract_build.subdir-run-cxx11 public_function : ifdef ] | |
163 | [ boost_contract_build.subdir-run-cxx11 public_function : ifdef_macro ] | |
164 | ||
165 | [ boost_contract_build.subdir-run-cxx11 public_function : virtual ] | |
166 | [ boost_contract_build.subdir-run-cxx11 public_function : virtual_branch ] | |
167 | [ boost_contract_build.subdir-run-cxx11 public_function : virtual_sparse ] | |
168 | [ boost_contract_build.subdir-run-cxx11 public_function : virtual_access ] | |
169 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
170 | virtual_access_multi ] | |
171 | [ boost_contract_build.subdir-run-cxx11 public_function : old_virtual ] | |
172 | ||
173 | [ boost_contract_build.subdir-run-cxx11 public_function : protected ] | |
174 | [ boost_contract_build.subdir-compile-fail public_function : | |
175 | protected_error ] | |
176 | [ boost_contract_build.subdir-run-cxx11 public_function : friend ] | |
177 | ||
178 | [ boost_contract_build.subdir-run-cxx11 public_function : throwing_pre ] | |
179 | [ boost_contract_build.subdir-run-cxx11 public_function : throwing_old ] | |
180 | [ boost_contract_build.subdir-run-cxx11 public_function : throwing_body ] | |
181 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
182 | throwing_body_virtual ] | |
183 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
184 | throwing_body_virtual_branch ] | |
185 | [ boost_contract_build.subdir-run-cxx11 public_function : throwing_post ] | |
186 | # No throwing_except test (as throwing twice calls terminate). | |
187 | ||
188 | [ boost_contract_build.subdir-run-cxx11 public_function : max_args0 : | |
189 | <define>BOOST_CONTRACT_MAX_ARGS=0 ] | |
190 | [ boost_contract_build.subdir-run-cxx11 public_function : max_args0_no_tva : | |
191 | <define>BOOST_CONTRACT_MAX_ARGS=0 | |
192 | <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES | |
193 | ] | |
194 | [ boost_contract_build.subdir-run-cxx11 public_function : max_args1 : | |
195 | <define>BOOST_CONTRACT_MAX_ARGS=1 ] | |
196 | [ boost_contract_build.subdir-run-cxx11 public_function : max_args1_no_tva : | |
197 | <define>BOOST_CONTRACT_MAX_ARGS=1 | |
198 | <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES | |
199 | ] | |
200 | [ boost_contract_build.subdir-run-cxx11 public_function : max_args2 : | |
201 | <define>BOOST_CONTRACT_MAX_ARGS=2 ] | |
202 | [ boost_contract_build.subdir-run-cxx11 public_function : max_args2_no_tva : | |
203 | <define>BOOST_CONTRACT_MAX_ARGS=2 | |
204 | <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES | |
205 | ] | |
206 | [ boost_contract_build.subdir-run-cxx11 public_function : max_args ] | |
207 | [ boost_contract_build.subdir-run-cxx11 public_function : max_args_no_tva : | |
208 | <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES ] | |
209 | ||
210 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
211 | max_bases ] # C++11 for BASES(...) variadic macros. | |
212 | ||
213 | [ boost_contract_build.subdir-run-cxx11 public_function : overload ] | |
214 | [ boost_contract_build.subdir-run-cxx11 public_function : overload_no_tva : | |
215 | <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES ] | |
216 | ||
217 | [ boost_contract_build.subdir-compile-fail-cxx11 public_function : | |
218 | override_error ] # C++11 for BASES(...) variadic macros. | |
219 | [ boost_contract_build.subdir-run-cxx11 public_function : # C++11 for BASES. | |
220 | override_permissive : <define>BOOST_CONTRACT_PERMISSIVE ] | |
221 | ||
222 | [ boost_contract_build.subdir-run-cxx11 public_function : static ] | |
223 | [ boost_contract_build.subdir-run-cxx11 public_function : static_ifdef ] | |
224 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
225 | static_ifdef_macro ] | |
226 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
227 | static_throwing_pre ] | |
228 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
229 | static_throwing_old ] | |
230 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
231 | static_throwing_body ] | |
232 | [ boost_contract_build.subdir-run-cxx11 public_function : | |
233 | static_throwing_post ] | |
234 | # No throwing_except test (as throwing twice calls terminate). | |
235 | ; | |
236 | ||
237 | test-suite invariant : | |
238 | [ boost_contract_build.subdir-run-cxx11 invariant : decl_static_cv_const ] | |
239 | [ boost_contract_build.subdir-run-cxx11 invariant : decl_static_cv ] | |
240 | [ boost_contract_build.subdir-run-cxx11 invariant : decl_cv_const ] | |
241 | [ boost_contract_build.subdir-run-cxx11 invariant : decl_static_const ] | |
242 | [ boost_contract_build.subdir-run-cxx11 invariant : decl_static ] | |
243 | [ boost_contract_build.subdir-run-cxx11 invariant : decl_cv ] | |
244 | [ boost_contract_build.subdir-run-cxx11 invariant : decl_const ] | |
245 | [ boost_contract_build.subdir-run-cxx11 invariant : decl_nothing ] | |
246 | ||
247 | [ boost_contract_build.subdir-run invariant : ifdef ] | |
248 | [ boost_contract_build.subdir-run-cxx11 invariant : ifdef_macro ] | |
249 | ||
250 | [ boost_contract_build.subdir-compile-fail invariant : | |
251 | static_mutable_error ] | |
252 | [ boost_contract_build.subdir-run invariant : static_mutable_permissive : | |
253 | <define>BOOST_CONTRACT_PERMISSIVE ] | |
254 | [ boost_contract_build.subdir-compile-fail invariant : static_const_error ] | |
255 | [ boost_contract_build.subdir-run invariant : static_const_permissive : | |
256 | <define>BOOST_CONTRACT_PERMISSIVE ] | |
257 | [ boost_contract_build.subdir-compile-fail invariant : | |
258 | static_volatile_error ] | |
259 | [ boost_contract_build.subdir-run invariant : static_volatile_permissive : | |
260 | <define>BOOST_CONTRACT_PERMISSIVE ] | |
261 | [ boost_contract_build.subdir-compile-fail invariant : static_cv_error ] | |
262 | [ boost_contract_build.subdir-run invariant : static_cv_permissive : | |
263 | <define>BOOST_CONTRACT_PERMISSIVE ] | |
264 | ||
265 | [ boost_contract_build.subdir-compile-fail invariant : static_error ] | |
266 | [ boost_contract_build.subdir-run invariant : static_permissive : | |
267 | <define>BOOST_CONTRACT_PERMISSIVE ] | |
268 | [ boost_contract_build.subdir-compile-fail invariant : mutable_error ] | |
269 | [ boost_contract_build.subdir-run invariant : mutable_permissive : | |
270 | <define>BOOST_CONTRACT_PERMISSIVE ] | |
271 | [ boost_contract_build.subdir-compile-fail invariant : volatile_error ] | |
272 | [ boost_contract_build.subdir-run invariant : volatile_permissive : | |
273 | <define>BOOST_CONTRACT_PERMISSIVE ] | |
274 | ; | |
275 | ||
276 | test-suite function : | |
277 | [ boost_contract_build.subdir-run-cxx11 function : smoke ] | |
278 | ||
279 | [ boost_contract_build.subdir-run-cxx11 function : decl_pre_all ] | |
280 | [ boost_contract_build.subdir-run-cxx11 function : decl_pre_none ] | |
281 | ||
282 | [ boost_contract_build.subdir-run-cxx11 function : decl_post_all ] | |
283 | [ boost_contract_build.subdir-run-cxx11 function : decl_post_none ] | |
284 | ||
285 | [ boost_contract_build.subdir-run-cxx11 function : ifdef ] | |
286 | [ boost_contract_build.subdir-run-cxx11 function : ifdef_macro ] | |
287 | ||
288 | [ boost_contract_build.subdir-run-cxx11 function : throwing_pre ] | |
289 | [ boost_contract_build.subdir-run-cxx11 function : throwing_old ] | |
290 | [ boost_contract_build.subdir-run-cxx11 function : throwing_body ] | |
291 | [ boost_contract_build.subdir-run-cxx11 function : throwing_post ] | |
292 | # No throwing_except test (as throwing twice calls terminate). | |
293 | ; | |
294 | ||
295 | test-suite check : | |
296 | [ boost_contract_build.subdir-run-cxx11 check : decl_class ] | |
297 | [ boost_contract_build.subdir-run-cxx11 check : decl_macro ] | |
298 | ||
299 | [ boost_contract_build.subdir-run-cxx11 check : ifdef ] | |
300 | [ boost_contract_build.subdir-run-cxx11 check : ifdef_macro ] | |
301 | ||
302 | [ boost_contract_build.subdir-run-cxx11 check : audit : | |
303 | <define>BOOST_CONTRACT_AUDITS ] | |
304 | [ boost_contract_build.subdir-compile-fail-cxx11 check : audit_error ] | |
305 | [ boost_contract_build.subdir-run-cxx11 check : audit_disabled ] | |
306 | [ boost_contract_build.subdir-compile-fail-cxx11 check : | |
307 | audit_disabled_error ] | |
308 | [ boost_contract_build.subdir-run check : axiom ] | |
309 | [ boost_contract_build.subdir-compile-fail check : axiom_error ] | |
310 | ; | |
311 | ||
312 | test-suite result : | |
313 | [ boost_contract_build.subdir-run-cxx11 result : mixed_optional ] | |
314 | [ boost_contract_build.subdir-run-cxx11 result : mixed_optional_ref ] | |
315 | ||
316 | [ boost_contract_build.subdir-compile-fail-cxx11 result : | |
317 | type_mismatch_error ] # C++11 for BASES(...) variadic macros. | |
318 | ; | |
319 | ||
320 | test-suite old : | |
321 | [ boost_contract_build.subdir-run old : auto : | |
322 | [ requires cxx11_auto_declarations ] ] | |
323 | ||
324 | [ boost_contract_build.subdir-run-cxx11 old : no_macro ] | |
325 | [ boost_contract_build.subdir-run-cxx11 old : no_macro_if_copyable ] | |
326 | ||
327 | [ boost_contract_build.subdir-compile-fail old : no_make_old_error ] | |
328 | [ boost_contract_build.subdir-compile-fail old : | |
329 | no_make_old_if_copyable_error ] | |
330 | ||
331 | [ boost_contract_build.subdir-run-cxx11 old : if_copyable ] | |
332 | [ boost_contract_build.subdir-compile-fail-cxx11 old : if_copyable_error ] | |
333 | [ boost_contract_build.subdir-run-cxx11 old : if_copyable_macro ] | |
334 | ||
335 | [ boost_contract_build.subdir-run old : copyable_traits ] | |
336 | ; | |
337 | ||
338 | test-suite disable : | |
339 | [ boost_contract_build.subdir-run-cxx11 disable : nothing_for_pre_prog : | |
340 | <define>BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION ] | |
341 | [ boost_contract_build.subdir-run-cxx11 disable : other_assertions_prog ] | |
342 | ||
343 | [ boost_contract_build.subdir-lib-cxx11 disable : lib_a : | |
344 | <link>shared:<define>BOOST_CONTRACT_TEST_LIB_A_DYN_LINK ] | |
345 | [ boost_contract_build.subdir-lib-cxx11 disable : lib_b : | |
346 | <library>disable-lib_a | |
347 | <link>shared:<define>BOOST_CONTRACT_TEST_LIB_B_DYN_LINK | |
348 | ] | |
349 | [ boost_contract_build.subdir-run-cxx11 disable : other_assertions_lib : | |
350 | <library>disable-lib_a <library>disable-lib_b ] | |
351 | ||
352 | [ boost_contract_build.subdir-run-cxx11 disable : other_assertions_unit | |
353 | disable/lib_a.cpp disable/lib_b.cpp ] | |
354 | ||
355 | [ boost_contract_build.subdir-lib-cxx11 disable : lib_x : | |
356 | <define>BOOST_CONTRACT_NO_POSTCONDITIONS | |
357 | <define>BOOST_CONTRACT_NO_EXCEPTS | |
358 | <link>shared:<define>BOOST_CONTRACT_TEST_LIB_X_DYN_LINK | |
359 | ] | |
360 | [ boost_contract_build.subdir-lib-cxx11 disable : lib_y : | |
361 | <library>disable-lib_x | |
362 | <define>BOOST_CONTRACT_NO_POSTCONDITIONS | |
363 | <define>BOOST_CONTRACT_NO_EXCEPTS | |
364 | <link>shared:<define>BOOST_CONTRACT_TEST_LIB_Y_DYN_LINK | |
365 | ] | |
366 | [ boost_contract_build.subdir-run-cxx11 disable : no_post_except_lib : | |
367 | <library>disable-lib_x <library>disable-lib_y ] | |
368 | ||
369 | [ boost_contract_build.subdir-run-cxx11 disable : no_post_except_unit | |
370 | disable/lib_x.cpp disable/lib_y.cpp : | |
371 | <define>BOOST_CONTRACT_NO_POSTCONDITIONS | |
372 | <define>BOOST_CONTRACT_NO_EXCEPTS | |
373 | ] | |
374 | ||
375 | [ boost_contract_build.subdir-run disable : audit : | |
376 | <define>BOOST_CONTRACT_AUDITS ] | |
377 | [ boost_contract_build.subdir-compile-fail disable : audit_error ] | |
378 | [ boost_contract_build.subdir-run disable : audit_disabled ] | |
379 | [ boost_contract_build.subdir-compile-fail disable : audit_disabled_error ] | |
380 | [ boost_contract_build.subdir-run disable : axiom ] | |
381 | [ boost_contract_build.subdir-compile-fail disable : axiom_error ] | |
382 | ; | |
383 | ||
384 | test-suite specify : | |
385 | [ boost_contract_build.subdir-run-cxx11 specify : pre_old_post_except ] | |
386 | ||
387 | [ boost_contract_build.subdir-run-cxx11 specify : pre_old_post ] | |
388 | [ boost_contract_build.subdir-run-cxx11 specify : pre_old_except ] | |
389 | [ boost_contract_build.subdir-run-cxx11 specify : pre_post_except ] | |
390 | [ boost_contract_build.subdir-run-cxx11 specify : old_post_except ] | |
391 | ||
392 | [ boost_contract_build.subdir-run-cxx11 specify : pre_old ] | |
393 | [ boost_contract_build.subdir-run-cxx11 specify : pre_post ] | |
394 | [ boost_contract_build.subdir-run-cxx11 specify : pre_except ] | |
395 | [ boost_contract_build.subdir-run-cxx11 specify : old_post ] | |
396 | [ boost_contract_build.subdir-run-cxx11 specify : old_except ] | |
397 | [ boost_contract_build.subdir-run-cxx11 specify : post_except ] | |
398 | ||
399 | [ boost_contract_build.subdir-run-cxx11 specify : pre ] | |
400 | [ boost_contract_build.subdir-run-cxx11 specify : old ] | |
401 | [ boost_contract_build.subdir-run-cxx11 specify : post ] | |
402 | [ boost_contract_build.subdir-run-cxx11 specify : except ] | |
403 | ||
404 | [ boost_contract_build.subdir-run specify : nothing ] | |
405 | ||
406 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : | |
407 | except_post_error ] | |
408 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : | |
409 | except_old_error ] | |
410 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : | |
411 | except_pre_error ] | |
412 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : post_old_error ] | |
413 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : post_pre_error ] | |
414 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : old_pre_error ] | |
415 | ||
416 | [ boost_contract_build.subdir-run-cxx11 specify : missing_check : | |
417 | <define>BOOST_CONTRACT_ON_MISSING_CHECK_DECL=\"\{\ throw\ err()\;\ \}\" | |
418 | ] | |
419 | ||
420 | [ boost_contract_build.subdir-compile-fail specify : auto_error : | |
421 | [ requires cxx11_auto_declarations ] ] | |
422 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : auto_pre_error : | |
423 | [ requires cxx11_auto_declarations ] ] | |
424 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : | |
425 | auto_pre_old_error : [ requires cxx11_auto_declarations ] ] | |
426 | [ boost_contract_build.subdir-compile-fail-cxx11 specify : | |
427 | auto_pre_old_post_error : [ requires cxx11_auto_declarations ] ] | |
428 | [ boost_contract_build.subdir-compile-fail-cxx11 specify | |
429 | : auto_pre_old_post_except_error | |
430 | : [ requires cxx11_auto_declarations ] | |
431 | ] | |
432 | ; | |
433 | ||
434 | test-suite call_if : | |
435 | [ boost_contract_build.subdir-run-cxx11 call_if : true_ ] | |
436 | [ boost_contract_build.subdir-run-cxx11 call_if : false_ ] | |
437 | ||
438 | [ boost_contract_build.subdir-run-cxx11 call_if : true_void ] | |
439 | [ boost_contract_build.subdir-run-cxx11 call_if : false_void ] | |
440 | ||
441 | [ boost_contract_build.subdir-run-cxx11 call_if : equal_to ] | |
442 | [ boost_contract_build.subdir-run-cxx11 call_if : equal_to_cxx14 : | |
443 | [ requires cxx14_generic_lambdas ] ] | |
444 | ||
445 | [ boost_contract_build.subdir-run-cxx11 call_if : no_equal_condition_if ] | |
446 | [ boost_contract_build.subdir-run-cxx11 call_if : no_equal_call_if ] | |
447 | [ boost_contract_build.subdir-compile-fail-cxx11 call_if : no_equal_error ] | |
448 | ; | |
449 |