Home
last modified time | relevance | path

Searched refs:old_l (Results 1 – 2 of 2) sorted by relevance

/third_party/boost/libs/contract/test/destructor/
Dsmoke.cpp41 boost::contract::old_ptr<l_type> old_l; in ~t() local
45 old_l = BOOST_CONTRACT_OLDOF(l_type::eval(l)); in ~t()
47 .postcondition([&old_l] { in ~t()
49 BOOST_CONTRACT_ASSERT(t<Id>::l.value == old_l->value - 1); in ~t()
/third_party/boost/libs/contract/test/constructor/
Dsmoke.cpp55 boost::contract::old_ptr<l_type> old_l = local
66 BOOST_CONTRACT_ASSERT(l.value == old_l->value + 1); in __anon170b96920302()