Searched refs:old_m (Results 1 – 2 of 2) sorted by relevance
89 boost::contract::old_ptr<m_type> old_m = in ~c() local96 .postcondition([&old_m] { in ~c()98 BOOST_CONTRACT_ASSERT(c::m.value == old_m->value - 1); in ~c()
120 boost::contract::old_ptr<m_type> old_m; local124 old_m = BOOST_CONTRACT_OLDOF(m_type::eval(m)); in __anon170b96920502()130 BOOST_CONTRACT_ASSERT(m.value == old_m->value + 1); in __anon170b96920602()