Searched refs:entry_inv (Results 1 – 1 of 1) sorted by relevance
89 bool entry_inv = boost::contract::test::detail::oteststream::eq(out(), in test_disable_inv_failure() local96 return entry_inv && exit_inv; in test_disable_inv_failure()113 bool entry_inv = boost::contract::test::detail::oteststream::eq(out(), in test_disable_failure() local120 return pre && post && entry_inv && exit_inv; in test_disable_failure()