41     using boost::contract::test::detail::out;  in main()
76     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(), ok.str()));  in main()
96     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(), ok_f()));  in main()
102     boost::contract::precondition_failure(boost::contract::from());  in main()
103     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
108     boost::contract::postcondition_failure(boost::contract::from());  in main()
109     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
114     boost::contract::entry_invariant_failure(boost::contract::from());  in main()
115     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
120     boost::contract::exit_invariant_failure(boost::contract::from());  in main()
121     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
126     boost::contract::entry_invariant_failure(boost::contract::from());  in main()
127     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
130     boost::contract::exit_invariant_failure(boost::contract::from());  in main()
131     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
136     boost::contract::precondition_failure(boost::contract::from());  in main()
137     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
140     boost::contract::postcondition_failure(boost::contract::from());  in main()
141     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
144     boost::contract::entry_invariant_failure(boost::contract::from());  in main()
145     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()
148     boost::contract::exit_invariant_failure(boost::contract::from());  in main()
149     BOOST_TEST(boost::contract::test::detail::oteststream::eq(out(),  in main()