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 // Force .cpp never check post/except. 8 #ifndef BOOST_CONTRACT_NO_POSTCONDITIONS 9 #error "build must define NO_POSTCONDITIONS" 10 #endif 11 #ifndef BOOST_CONTRACT_NO_EXCEPTS 12 #error "build must define NO_EXCEPTS" 13 #endif 14 15 #define BOOST_CONTRACT_TEST_LIB_Y_SOURCE 16 #include "lib_y.hpp" 17 18 namespace lib_y_ { y_body()19 void y_body() { 20 using boost::contract::test::detail::out; 21 out("y::body\n"); 22 } 23 } 24 25