Home
last modified time | relevance | path

Searched refs:b_exit_static_inv (Results 1 – 15 of 15) sorted by relevance

/third_party/boost/libs/contract/test/destructor/
Ddecl_exit_static_inv_none.cpp61 b_exit_static_inv = true; in main()
72 b_exit_static_inv = true; in main()
83 b_exit_static_inv = false; in main()
94 b_exit_static_inv = true; in main()
105 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_mid.cpp91 b_exit_static_inv = true; in main()
112 b_exit_static_inv = true; in main()
131 b_exit_static_inv = false; in main()
156 b_exit_static_inv = true; in main()
181 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_ends.cpp98 b_exit_static_inv = true; in main()
119 b_exit_static_inv = true; in main()
144 b_exit_static_inv = false; in main()
160 b_exit_static_inv = true; in main()
189 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_all.cpp100 b_exit_static_inv = true; in main()
121 b_exit_static_inv = true; in main()
146 b_exit_static_inv = false; in main()
171 b_exit_static_inv = true; in main()
200 b_exit_static_inv = false; in main()
Ddecl.hpp60 b_exit_static_inv = true; variable
73 else BOOST_CONTRACT_ASSERT(b_exit_static_inv); in static_invariant()
/third_party/boost/libs/contract/test/constructor/
Ddecl_exit_static_inv_none.cpp67 b_exit_static_inv = true; in main()
78 b_exit_static_inv = true; in main()
89 b_exit_static_inv = false; in main()
100 b_exit_static_inv = true; in main()
111 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_mid.cpp101 b_exit_static_inv = true; in main()
121 b_exit_static_inv = true; in main()
138 b_exit_static_inv = false; in main()
161 b_exit_static_inv = true; in main()
178 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_ends.cpp105 b_exit_static_inv = true; in main()
125 b_exit_static_inv = true; in main()
148 b_exit_static_inv = false; in main()
165 b_exit_static_inv = true; in main()
188 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_all.cpp111 b_exit_static_inv = true; in main()
131 b_exit_static_inv = true; in main()
154 b_exit_static_inv = false; in main()
177 b_exit_static_inv = true; in main()
200 b_exit_static_inv = false; in main()
Ddecl.hpp67 b_exit_static_inv = true; variable
85 else BOOST_CONTRACT_ASSERT(b_exit_static_inv); in static_invariant()
/third_party/boost/libs/contract/test/public_function/
Ddecl_exit_static_inv_none.cpp63 b_exit_static_inv = true; in main()
72 b_exit_static_inv = true; in main()
81 b_exit_static_inv = false; in main()
90 b_exit_static_inv = true; in main()
99 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_ends.cpp68 b_exit_static_inv = true; in main()
91 b_exit_static_inv = true; in main()
117 b_exit_static_inv = false; in main()
142 b_exit_static_inv = true; in main()
165 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_mid.cpp67 b_exit_static_inv = true; in main()
91 b_exit_static_inv = true; in main()
115 b_exit_static_inv = false; in main()
139 b_exit_static_inv = true; in main()
163 b_exit_static_inv = false; in main()
Ddecl_exit_static_inv_all.cpp69 b_exit_static_inv = true; in main()
95 b_exit_static_inv = true; in main()
122 b_exit_static_inv = false; in main()
147 b_exit_static_inv = true; in main()
170 b_exit_static_inv = false; in main()
Ddecl.hpp65 b_exit_static_inv = true; variable
78 else BOOST_CONTRACT_ASSERT(b_exit_static_inv); in static_invariant()