18     c& ca = aa; // Test polymorphic virtual call (via reference to base c).  in main()  local
21     result_type& r = ca.f(s);  in main()
88     BOOST_TEST_EQ(ca.y.value, "cA");  in main()
89     BOOST_TEST_EQ(ca.y.copies(), BOOST_CONTRACT_TEST_old);  in main()
90     BOOST_TEST_EQ(ca.y.evals(), BOOST_CONTRACT_TEST_old);  in main()
91     BOOST_TEST_EQ(ca.y.ctors(), ca.y.dtors() + 1); // 1 data member.  in main()
93     BOOST_TEST_EQ(ca.t<'d'>::z.value, "dA");  in main()
94     BOOST_TEST_EQ(ca.t<'d'>::z.copies(), BOOST_CONTRACT_TEST_old);  in main()
95     BOOST_TEST_EQ(ca.t<'d'>::z.evals(), BOOST_CONTRACT_TEST_old);  in main()
96     BOOST_TEST_EQ(ca.t<'d'>::z.ctors(), ca.t<'d'>::z.dtors() + 1); // 1 member.  in main()
98     BOOST_TEST_EQ(ca.t<'e'>::z.value, "eA");  in main()
99     BOOST_TEST_EQ(ca.t<'e'>::z.copies(), BOOST_CONTRACT_TEST_old);  in main()
100     BOOST_TEST_EQ(ca.t<'e'>::z.evals(), BOOST_CONTRACT_TEST_old);  in main()
101     BOOST_TEST_EQ(ca.t<'e'>::z.ctors(), ca.t<'e'>::z.dtors() + 1); // 1 member.  in main()