Home
last modified time | relevance | path

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

/third_party/boost/libs/contract/test/constructor/
Ddecl_exit_inv_none.cpp70 c_exit_inv = true; in main()
79 c_exit_inv = true; in main()
88 c_exit_inv = true; in main()
97 c_exit_inv = false; in main()
106 c_exit_inv = false; in main()
Ddecl_exit_inv_mid.cpp99 c_exit_inv = true; in main()
117 c_exit_inv = true; in main()
132 c_exit_inv = true; in main()
153 c_exit_inv = false; in main()
168 c_exit_inv = false; in main()
Ddecl_exit_inv_all.cpp99 c_exit_inv = true; in main()
117 c_exit_inv = true; in main()
138 c_exit_inv = true; in main()
159 c_exit_inv = false; in main()
180 c_exit_inv = false; in main()
Ddecl_exit_inv_ends.cpp99 c_exit_inv = true; in main()
117 c_exit_inv = true; in main()
138 c_exit_inv = true; in main()
153 c_exit_inv = false; in main()
174 c_exit_inv = false; in main()
Ddecl.hpp23 bool c_exit_inv = true; // Only exit non-static inv for ctors. variable
40 BOOST_CONTRACT_ASSERT(c_exit_inv); in invariant()
/third_party/boost/libs/contract/test/public_function/
Ddecl_exit_inv_mid.cpp68 c_exit_inv = true; in main()
90 c_exit_inv = true; in main()
114 c_exit_inv = true; in main()
139 c_exit_inv = false; in main()
162 c_exit_inv = false; in main()
Ddecl_exit_inv_none.cpp65 c_exit_inv = true; in main()
74 c_exit_inv = true; in main()
91 c_exit_inv = false; in main()
100 c_exit_inv = false; in main()
Ddecl_exit_inv_ends.cpp69 c_exit_inv = true; in main()
92 c_exit_inv = true; in main()
119 c_exit_inv = true; in main()
141 c_exit_inv = false; in main()
165 c_exit_inv = false; in main()
Ddecl_exit_inv_all.cpp70 c_exit_inv = true; in main()
94 c_exit_inv = true; in main()
122 c_exit_inv = true; in main()
148 c_exit_inv = false; in main()
172 c_exit_inv = false; in main()
Ddecl.hpp24 bool c_entering_inv = true, c_entry_inv = true, c_exit_inv = true; variable
38 else BOOST_CONTRACT_ASSERT(c_exit_inv); in invariant()