diff options
Diffstat (limited to 'src/boost/libs/contract/test/Jamfile.v2')
| -rw-r--r-- | src/boost/libs/contract/test/Jamfile.v2 | 449 |
1 files changed, 449 insertions, 0 deletions
diff --git a/src/boost/libs/contract/test/Jamfile.v2 b/src/boost/libs/contract/test/Jamfile.v2 new file mode 100644 index 000000000..2026b8de0 --- /dev/null +++ b/src/boost/libs/contract/test/Jamfile.v2 @@ -0,0 +1,449 @@ + +# 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 constructor : + [ boost_contract_build.subdir-run-cxx11 constructor : smoke ] + + [ boost_contract_build.subdir-run-cxx11 constructor : decl_pre_all ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_pre_ends ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_pre_mid ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_pre_none ] + + [ boost_contract_build.subdir-run-cxx11 constructor : decl_post_all ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_post_ends ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_post_mid ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_post_none ] + + [ boost_contract_build.subdir-run-cxx11 constructor : + decl_entry_static_inv_all ] + [ boost_contract_build.subdir-run-cxx11 constructor : + decl_entry_static_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 constructor : + decl_entry_static_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 constructor : + decl_entry_static_inv_none ] + + [ boost_contract_build.subdir-run-cxx11 constructor : + decl_exit_static_inv_all ] + [ boost_contract_build.subdir-run-cxx11 constructor : + decl_exit_static_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 constructor : + decl_exit_static_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 constructor : + decl_exit_static_inv_none ] + + # No decl_entry_static_inv_... (as no obj before ctor). + + [ boost_contract_build.subdir-run-cxx11 constructor : decl_exit_inv_all ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_exit_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_exit_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 constructor : decl_exit_inv_none ] + + [ boost_contract_build.subdir-run-cxx11 constructor : access ] + + [ boost_contract_build.subdir-run-cxx11 constructor : ifdef ] + [ boost_contract_build.subdir-run-cxx11 constructor : ifdef_macro ] + + [ boost_contract_build.subdir-run-cxx11 constructor : throwing_pre ] + [ boost_contract_build.subdir-run-cxx11 constructor : throwing_old ] + [ boost_contract_build.subdir-run-cxx11 constructor : throwing_body ] + [ boost_contract_build.subdir-run-cxx11 constructor : throwing_post ] + # No throwing_except test (as throwing twice calls terminate). + + [ boost_contract_build.subdir-compile-fail-cxx11 constructor : pre_error ] +; + +test-suite destructor : + [ boost_contract_build.subdir-run-cxx11 destructor : smoke ] + + # No decl_pre_... (as dtors have no pre). + + [ boost_contract_build.subdir-run-cxx11 destructor : decl_post_all ] + [ boost_contract_build.subdir-run-cxx11 destructor : decl_post_ends ] + [ boost_contract_build.subdir-run-cxx11 destructor : decl_post_mid ] + [ boost_contract_build.subdir-run-cxx11 destructor : decl_post_none ] + + [ boost_contract_build.subdir-run-cxx11 destructor : + decl_entry_static_inv_all ] + [ boost_contract_build.subdir-run-cxx11 destructor : + decl_entry_static_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 destructor : + decl_entry_static_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 destructor : + decl_entry_static_inv_none ] + + [ boost_contract_build.subdir-run-cxx11 destructor : + decl_exit_static_inv_all ] + [ boost_contract_build.subdir-run-cxx11 destructor : + decl_exit_static_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 destructor : + decl_exit_static_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 destructor : + decl_exit_static_inv_none ] + + [ boost_contract_build.subdir-run-cxx11 destructor : decl_entry_inv_all ] + [ boost_contract_build.subdir-run-cxx11 destructor : decl_entry_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 destructor : decl_entry_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 destructor : decl_entry_inv_none ] + + # No decl_exit_inv_... (as no obj after dtor). + + [ boost_contract_build.subdir-run-cxx11 destructor : access ] + + [ boost_contract_build.subdir-run-cxx11 destructor : ifdef ] + [ boost_contract_build.subdir-run-cxx11 destructor : ifdef_macro ] + + # No throwing_pre test (as dtors have no pre). + [ boost_contract_build.subdir-run-cxx11 destructor : throwing_old ] + [ boost_contract_build.subdir-run-cxx11 destructor : throwing_body ] + [ boost_contract_build.subdir-run-cxx11 destructor : throwing_post ] + # No throwing_except test (as throwing twice calls terminate). + + [ boost_contract_build.subdir-compile-fail-cxx11 destructor : pre_error ] +; + +test-suite public_function : + [ boost_contract_build.subdir-run-cxx11 public_function : smoke ] + + [ boost_contract_build.subdir-run-cxx11 public_function : decl_pre_all ] + [ boost_contract_build.subdir-run-cxx11 public_function : decl_pre_ends ] + [ boost_contract_build.subdir-run-cxx11 public_function : decl_pre_mid ] + [ boost_contract_build.subdir-run-cxx11 public_function : decl_pre_none ] + + [ boost_contract_build.subdir-run-cxx11 public_function : decl_post_all ] + [ boost_contract_build.subdir-run-cxx11 public_function : decl_post_ends ] + [ boost_contract_build.subdir-run-cxx11 public_function : decl_post_mid ] + [ boost_contract_build.subdir-run-cxx11 public_function : decl_post_none ] + + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_entry_static_inv_all ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_entry_static_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_entry_static_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_entry_static_inv_none ] + + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_exit_static_inv_all ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_exit_static_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_exit_static_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_exit_static_inv_none ] + + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_entry_inv_all ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_entry_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_entry_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_entry_inv_none ] + + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_exit_inv_all ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_exit_inv_ends ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_exit_inv_mid ] + [ boost_contract_build.subdir-run-cxx11 public_function : + decl_exit_inv_none ] + + [ boost_contract_build.subdir-run-cxx11 public_function : access ] + + [ boost_contract_build.subdir-run-cxx11 public_function : ifdef ] + [ boost_contract_build.subdir-run-cxx11 public_function : ifdef_macro ] + + [ boost_contract_build.subdir-run-cxx11 public_function : virtual ] + [ boost_contract_build.subdir-run-cxx11 public_function : virtual_branch ] + [ boost_contract_build.subdir-run-cxx11 public_function : virtual_sparse ] + [ boost_contract_build.subdir-run-cxx11 public_function : virtual_access ] + [ boost_contract_build.subdir-run-cxx11 public_function : + virtual_access_multi ] + [ boost_contract_build.subdir-run-cxx11 public_function : old_virtual ] + + [ boost_contract_build.subdir-run-cxx11 public_function : protected ] + [ boost_contract_build.subdir-compile-fail public_function : + protected_error ] + [ boost_contract_build.subdir-run-cxx11 public_function : friend ] + + [ boost_contract_build.subdir-run-cxx11 public_function : throwing_pre ] + [ boost_contract_build.subdir-run-cxx11 public_function : throwing_old ] + [ boost_contract_build.subdir-run-cxx11 public_function : throwing_body ] + [ boost_contract_build.subdir-run-cxx11 public_function : + throwing_body_virtual ] + [ boost_contract_build.subdir-run-cxx11 public_function : + throwing_body_virtual_branch ] + [ boost_contract_build.subdir-run-cxx11 public_function : throwing_post ] + # No throwing_except test (as throwing twice calls terminate). + + [ boost_contract_build.subdir-run-cxx11 public_function : max_args0 : + <define>BOOST_CONTRACT_MAX_ARGS=0 ] + [ boost_contract_build.subdir-run-cxx11 public_function : max_args0_no_tva : + <define>BOOST_CONTRACT_MAX_ARGS=0 + <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES + ] + [ boost_contract_build.subdir-run-cxx11 public_function : max_args1 : + <define>BOOST_CONTRACT_MAX_ARGS=1 ] + [ boost_contract_build.subdir-run-cxx11 public_function : max_args1_no_tva : + <define>BOOST_CONTRACT_MAX_ARGS=1 + <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES + ] + [ boost_contract_build.subdir-run-cxx11 public_function : max_args2 : + <define>BOOST_CONTRACT_MAX_ARGS=2 ] + [ boost_contract_build.subdir-run-cxx11 public_function : max_args2_no_tva : + <define>BOOST_CONTRACT_MAX_ARGS=2 + <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES + ] + [ boost_contract_build.subdir-run-cxx11 public_function : max_args ] + [ boost_contract_build.subdir-run-cxx11 public_function : max_args_no_tva : + <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES ] + + [ boost_contract_build.subdir-run-cxx11 public_function : + max_bases ] # C++11 for BASES(...) variadic macros. + + [ boost_contract_build.subdir-run-cxx11 public_function : overload ] + [ boost_contract_build.subdir-run-cxx11 public_function : overload_no_tva : + <define>BOOST_NO_CXX11_VARIADIC_TEMPLATES ] + + [ boost_contract_build.subdir-compile-fail-cxx11 public_function : + override_error ] # C++11 for BASES(...) variadic macros. + [ boost_contract_build.subdir-run-cxx11 public_function : # C++11 for BASES. + override_permissive : <define>BOOST_CONTRACT_PERMISSIVE ] + + [ boost_contract_build.subdir-run-cxx11 public_function : static ] + [ boost_contract_build.subdir-run-cxx11 public_function : static_ifdef ] + [ boost_contract_build.subdir-run-cxx11 public_function : + static_ifdef_macro ] + [ boost_contract_build.subdir-run-cxx11 public_function : + static_throwing_pre ] + [ boost_contract_build.subdir-run-cxx11 public_function : + static_throwing_old ] + [ boost_contract_build.subdir-run-cxx11 public_function : + static_throwing_body ] + [ boost_contract_build.subdir-run-cxx11 public_function : + static_throwing_post ] + # No throwing_except test (as throwing twice calls terminate). +; + +test-suite invariant : + [ boost_contract_build.subdir-run-cxx11 invariant : decl_static_cv_const ] + [ boost_contract_build.subdir-run-cxx11 invariant : decl_static_cv ] + [ boost_contract_build.subdir-run-cxx11 invariant : decl_cv_const ] + [ boost_contract_build.subdir-run-cxx11 invariant : decl_static_const ] + [ boost_contract_build.subdir-run-cxx11 invariant : decl_static ] + [ boost_contract_build.subdir-run-cxx11 invariant : decl_cv ] + [ boost_contract_build.subdir-run-cxx11 invariant : decl_const ] + [ boost_contract_build.subdir-run-cxx11 invariant : decl_nothing ] + + [ boost_contract_build.subdir-run invariant : ifdef ] + [ boost_contract_build.subdir-run-cxx11 invariant : ifdef_macro ] + + [ boost_contract_build.subdir-compile-fail invariant : + static_mutable_error ] + [ boost_contract_build.subdir-run invariant : static_mutable_permissive : + <define>BOOST_CONTRACT_PERMISSIVE ] + [ boost_contract_build.subdir-compile-fail invariant : static_const_error ] + [ boost_contract_build.subdir-run invariant : static_const_permissive : + <define>BOOST_CONTRACT_PERMISSIVE ] + [ boost_contract_build.subdir-compile-fail invariant : + static_volatile_error ] + [ boost_contract_build.subdir-run invariant : static_volatile_permissive : + <define>BOOST_CONTRACT_PERMISSIVE ] + [ boost_contract_build.subdir-compile-fail invariant : static_cv_error ] + [ boost_contract_build.subdir-run invariant : static_cv_permissive : + <define>BOOST_CONTRACT_PERMISSIVE ] + + [ boost_contract_build.subdir-compile-fail invariant : static_error ] + [ boost_contract_build.subdir-run invariant : static_permissive : + <define>BOOST_CONTRACT_PERMISSIVE ] + [ boost_contract_build.subdir-compile-fail invariant : mutable_error ] + [ boost_contract_build.subdir-run invariant : mutable_permissive : + <define>BOOST_CONTRACT_PERMISSIVE ] + [ boost_contract_build.subdir-compile-fail invariant : volatile_error ] + [ boost_contract_build.subdir-run invariant : volatile_permissive : + <define>BOOST_CONTRACT_PERMISSIVE ] +; + +test-suite function : + [ boost_contract_build.subdir-run-cxx11 function : smoke ] + + [ boost_contract_build.subdir-run-cxx11 function : decl_pre_all ] + [ boost_contract_build.subdir-run-cxx11 function : decl_pre_none ] + + [ boost_contract_build.subdir-run-cxx11 function : decl_post_all ] + [ boost_contract_build.subdir-run-cxx11 function : decl_post_none ] + + [ boost_contract_build.subdir-run-cxx11 function : ifdef ] + [ boost_contract_build.subdir-run-cxx11 function : ifdef_macro ] + + [ boost_contract_build.subdir-run-cxx11 function : throwing_pre ] + [ boost_contract_build.subdir-run-cxx11 function : throwing_old ] + [ boost_contract_build.subdir-run-cxx11 function : throwing_body ] + [ boost_contract_build.subdir-run-cxx11 function : throwing_post ] + # No throwing_except test (as throwing twice calls terminate). +; + +test-suite check : + [ boost_contract_build.subdir-run-cxx11 check : decl_class ] + [ boost_contract_build.subdir-run-cxx11 check : decl_macro ] + + [ boost_contract_build.subdir-run-cxx11 check : ifdef ] + [ boost_contract_build.subdir-run-cxx11 check : ifdef_macro ] + + [ boost_contract_build.subdir-run-cxx11 check : audit : + <define>BOOST_CONTRACT_AUDITS ] + [ boost_contract_build.subdir-compile-fail-cxx11 check : audit_error ] + [ boost_contract_build.subdir-run-cxx11 check : audit_disabled ] + [ boost_contract_build.subdir-compile-fail-cxx11 check : + audit_disabled_error ] + [ boost_contract_build.subdir-run check : axiom ] + [ boost_contract_build.subdir-compile-fail check : axiom_error ] +; + +test-suite result : + [ boost_contract_build.subdir-run-cxx11 result : mixed_optional ] + [ boost_contract_build.subdir-run-cxx11 result : mixed_optional_ref ] + + [ boost_contract_build.subdir-compile-fail-cxx11 result : + type_mismatch_error ] # C++11 for BASES(...) variadic macros. +; + +test-suite old : + [ boost_contract_build.subdir-run old : auto : + [ requires cxx11_auto_declarations ] ] + + [ boost_contract_build.subdir-run-cxx11 old : no_macro ] + [ boost_contract_build.subdir-run-cxx11 old : no_macro_if_copyable ] + + [ boost_contract_build.subdir-compile-fail old : no_make_old_error ] + [ boost_contract_build.subdir-compile-fail old : + no_make_old_if_copyable_error ] + + [ boost_contract_build.subdir-run-cxx11 old : if_copyable ] + [ boost_contract_build.subdir-compile-fail-cxx11 old : if_copyable_error ] + [ boost_contract_build.subdir-run-cxx11 old : if_copyable_macro ] + + [ boost_contract_build.subdir-run old : copyable_traits ] +; + +test-suite disable : + [ boost_contract_build.subdir-run-cxx11 disable : nothing_for_pre_prog : + <define>BOOST_CONTRACT_PRECONDITIONS_DISABLE_NO_ASSERTION ] + [ boost_contract_build.subdir-run-cxx11 disable : other_assertions_prog ] + + [ boost_contract_build.subdir-lib-cxx11 disable : lib_a : + <link>shared:<define>BOOST_CONTRACT_TEST_LIB_A_DYN_LINK ] + [ boost_contract_build.subdir-lib-cxx11 disable : lib_b : + <library>disable-lib_a + <link>shared:<define>BOOST_CONTRACT_TEST_LIB_B_DYN_LINK + ] + [ boost_contract_build.subdir-run-cxx11 disable : other_assertions_lib : + <library>disable-lib_a <library>disable-lib_b ] + + [ boost_contract_build.subdir-run-cxx11 disable : other_assertions_unit + disable/lib_a.cpp disable/lib_b.cpp ] + + [ boost_contract_build.subdir-lib-cxx11 disable : lib_x : + <define>BOOST_CONTRACT_NO_POSTCONDITIONS + <define>BOOST_CONTRACT_NO_EXCEPTS + <link>shared:<define>BOOST_CONTRACT_TEST_LIB_X_DYN_LINK + ] + [ boost_contract_build.subdir-lib-cxx11 disable : lib_y : + <library>disable-lib_x + <define>BOOST_CONTRACT_NO_POSTCONDITIONS + <define>BOOST_CONTRACT_NO_EXCEPTS + <link>shared:<define>BOOST_CONTRACT_TEST_LIB_Y_DYN_LINK + ] + [ boost_contract_build.subdir-run-cxx11 disable : no_post_except_lib : + <library>disable-lib_x <library>disable-lib_y ] + + [ boost_contract_build.subdir-run-cxx11 disable : no_post_except_unit + disable/lib_x.cpp disable/lib_y.cpp : + <define>BOOST_CONTRACT_NO_POSTCONDITIONS + <define>BOOST_CONTRACT_NO_EXCEPTS + ] + + [ boost_contract_build.subdir-run disable : audit : + <define>BOOST_CONTRACT_AUDITS ] + [ boost_contract_build.subdir-compile-fail disable : audit_error ] + [ boost_contract_build.subdir-run disable : audit_disabled ] + [ boost_contract_build.subdir-compile-fail disable : audit_disabled_error ] + [ boost_contract_build.subdir-run disable : axiom ] + [ boost_contract_build.subdir-compile-fail disable : axiom_error ] +; + +test-suite specify : + [ boost_contract_build.subdir-run-cxx11 specify : pre_old_post_except ] + + [ boost_contract_build.subdir-run-cxx11 specify : pre_old_post ] + [ boost_contract_build.subdir-run-cxx11 specify : pre_old_except ] + [ boost_contract_build.subdir-run-cxx11 specify : pre_post_except ] + [ boost_contract_build.subdir-run-cxx11 specify : old_post_except ] + + [ boost_contract_build.subdir-run-cxx11 specify : pre_old ] + [ boost_contract_build.subdir-run-cxx11 specify : pre_post ] + [ boost_contract_build.subdir-run-cxx11 specify : pre_except ] + [ boost_contract_build.subdir-run-cxx11 specify : old_post ] + [ boost_contract_build.subdir-run-cxx11 specify : old_except ] + [ boost_contract_build.subdir-run-cxx11 specify : post_except ] + + [ boost_contract_build.subdir-run-cxx11 specify : pre ] + [ boost_contract_build.subdir-run-cxx11 specify : old ] + [ boost_contract_build.subdir-run-cxx11 specify : post ] + [ boost_contract_build.subdir-run-cxx11 specify : except ] + + [ boost_contract_build.subdir-run specify : nothing ] + + [ boost_contract_build.subdir-compile-fail-cxx11 specify : + except_post_error ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify : + except_old_error ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify : + except_pre_error ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify : post_old_error ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify : post_pre_error ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify : old_pre_error ] + + [ boost_contract_build.subdir-run-cxx11 specify : missing_check : + <define>BOOST_CONTRACT_ON_MISSING_CHECK_DECL=\"\{\ throw\ err()\;\ \}\" + ] + + [ boost_contract_build.subdir-compile-fail specify : auto_error : + [ requires cxx11_auto_declarations ] ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify : auto_pre_error : + [ requires cxx11_auto_declarations ] ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify : + auto_pre_old_error : [ requires cxx11_auto_declarations ] ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify : + auto_pre_old_post_error : [ requires cxx11_auto_declarations ] ] + [ boost_contract_build.subdir-compile-fail-cxx11 specify + : auto_pre_old_post_except_error + : [ requires cxx11_auto_declarations ] + ] +; + +test-suite call_if : + [ boost_contract_build.subdir-run-cxx11 call_if : true_ ] + [ boost_contract_build.subdir-run-cxx11 call_if : false_ ] + + [ boost_contract_build.subdir-run-cxx11 call_if : true_void ] + [ boost_contract_build.subdir-run-cxx11 call_if : false_void ] + + [ boost_contract_build.subdir-run-cxx11 call_if : equal_to ] + [ boost_contract_build.subdir-run-cxx11 call_if : equal_to_cxx14 : + [ requires cxx14_generic_lambdas ] ] + + [ boost_contract_build.subdir-run-cxx11 call_if : no_equal_condition_if ] + [ boost_contract_build.subdir-run-cxx11 call_if : no_equal_call_if ] + [ boost_contract_build.subdir-compile-fail-cxx11 call_if : no_equal_error ] +; + |