Home
last modified time | relevance | path

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

/third_party/boost/libs/contract/test/public_function/
Dsmoke.hpp63 boost::contract::old_ptr<z_type> old_z = in f() local
77 BOOST_CONTRACT_ASSERT(z.value == old_z->value + old_s->value); in f()
78 BOOST_CONTRACT_ASSERT(s.value.find(old_z->value) != in f()
84 BOOST_CONTRACT_ASSERT(z.value == old_z->value); in f()
/third_party/boost/libs/contract/test/constructor/
Dsmoke.cpp54 boost::contract::old_ptr<z_type> old_z; local
60 old_z = BOOST_CONTRACT_OLDOF(z_type::eval(z)); in __anon170b96920202()
64 BOOST_CONTRACT_ASSERT(k_ == old_z->value); in __anon170b96920302()