Home
last modified time | relevance | path

Searched refs:c_entry_inv (Results 1 – 10 of 10) sorted by relevance

/third_party/boost/libs/contract/test/destructor/
Ddecl_entry_inv_none.cpp64 c_entry_inv = true; in main()
73 c_entry_inv = true; in main()
82 c_entry_inv = true; in main()
91 c_entry_inv = false; in main()
100 c_entry_inv = false; in main()
Ddecl_entry_inv_mid.cpp86 c_entry_inv = true; in main()
105 c_entry_inv = true; in main()
128 c_entry_inv = true; in main()
151 c_entry_inv = false; in main()
173 c_entry_inv = false; in main()
Ddecl_entry_inv_ends.cpp92 c_entry_inv = true; in main()
117 c_entry_inv = true; in main()
140 c_entry_inv = true; in main()
154 c_entry_inv = false; in main()
181 c_entry_inv = false; in main()
Ddecl_entry_inv_all.cpp95 c_entry_inv = true; in main()
120 c_entry_inv = true; in main()
143 c_entry_inv = true; in main()
166 c_entry_inv = false; in main()
193 c_entry_inv = false; in main()
Ddecl.hpp24 bool c_entry_inv = true; // Only entry non-static inv for dtors. variable
37 BOOST_CONTRACT_ASSERT(c_entry_inv); in invariant()
/third_party/boost/libs/contract/test/public_function/
Ddecl_entry_inv_none.cpp59 c_entry_inv = true; in main()
68 c_entry_inv = true; in main()
77 c_entry_inv = true; in main()
86 c_entry_inv = false; in main()
95 c_entry_inv = false; in main()
Ddecl_entry_inv_ends.cpp63 c_entry_inv = true; in main()
85 c_entry_inv = true; in main()
111 c_entry_inv = true; in main()
132 c_entry_inv = false; in main()
155 c_entry_inv = false; in main()
Ddecl_entry_inv_mid.cpp62 c_entry_inv = true; in main()
83 c_entry_inv = true; in main()
103 c_entry_inv = true; in main()
127 c_entry_inv = false; in main()
147 c_entry_inv = false; in main()
Ddecl_entry_inv_all.cpp64 c_entry_inv = true; in main()
87 c_entry_inv = true; in main()
114 c_entry_inv = true; in main()
139 c_entry_inv = false; in main()
162 c_entry_inv = false; in main()
Ddecl.hpp24 bool c_entering_inv = true, c_entry_inv = true, c_exit_inv = true; variable
37 if(c_entering_inv) BOOST_CONTRACT_ASSERT(c_entry_inv); in invariant()