1 2 // no #include guard 3 4 // Copyright (C) 2008-2018 Lorenzo Caminiti 5 // Distributed under the Boost Software License, Version 1.0 (see accompanying 6 // file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt). 7 // See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html 8 9 #include <boost/contract/assert.hpp> 10 11 bool no_impl(); // Test func that cannot be impl in C++ sill OK in axioms. 12 main()13int main() { 14 #ifdef BOOST_CONTRACT_TEST_ERROR 15 BOOST_CONTRACT_ASSERT_AXIOM( 16 BOOST_CONRACT_TEST_ERROR_expected_undeclared_identifier); 17 #else 18 BOOST_CONTRACT_ASSERT_AXIOM(false); // Test always false, OK. 19 BOOST_CONTRACT_ASSERT_AXIOM(no_impl()); // Test no implementation, OK. 20 #endif 21 return 0; 22 } 23 24