Adding upstream version 14.2.21.upstream/14.2.21upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

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 00000000..2026b8de
--- /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 ]
+;
+