Home
last modified time | relevance | path

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

/third_party/boost/libs/contract/test/destructor/
Ddecl_exit_static_inv_none.cpp60 a_exit_static_inv = true; in main()
71 a_exit_static_inv = false; in main()
82 a_exit_static_inv = true; in main()
93 a_exit_static_inv = true; in main()
104 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_mid.cpp90 a_exit_static_inv = true; in main()
111 a_exit_static_inv = false; in main()
130 a_exit_static_inv = true; in main()
155 a_exit_static_inv = true; in main()
180 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_ends.cpp97 a_exit_static_inv = true; in main()
118 a_exit_static_inv = false; in main()
143 a_exit_static_inv = true; in main()
159 a_exit_static_inv = true; in main()
188 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_all.cpp99 a_exit_static_inv = true; in main()
120 a_exit_static_inv = false; in main()
145 a_exit_static_inv = true; in main()
170 a_exit_static_inv = true; in main()
199 a_exit_static_inv = false; in main()
Ddecl.hpp103 a_exit_static_inv = true; variable
116 else BOOST_CONTRACT_ASSERT(a_exit_static_inv); in static_invariant()
/third_party/boost/libs/contract/test/constructor/
Ddecl_exit_static_inv_none.cpp66 a_exit_static_inv = true; in main()
77 a_exit_static_inv = false; in main()
88 a_exit_static_inv = true; in main()
99 a_exit_static_inv = true; in main()
110 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_mid.cpp100 a_exit_static_inv = true; in main()
120 a_exit_static_inv = false; in main()
137 a_exit_static_inv = true; in main()
160 a_exit_static_inv = true; in main()
177 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_ends.cpp104 a_exit_static_inv = true; in main()
124 a_exit_static_inv = false; in main()
147 a_exit_static_inv = true; in main()
164 a_exit_static_inv = true; in main()
187 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_all.cpp110 a_exit_static_inv = true; in main()
130 a_exit_static_inv = false; in main()
153 a_exit_static_inv = true; in main()
176 a_exit_static_inv = true; in main()
199 a_exit_static_inv = false; in main()
Ddecl.hpp119 a_exit_static_inv = true; variable
137 else BOOST_CONTRACT_ASSERT(a_exit_static_inv); in static_invariant()
/third_party/boost/libs/contract/test/public_function/
Ddecl_exit_static_inv_none.cpp62 a_exit_static_inv = true; in main()
71 a_exit_static_inv = false; in main()
80 a_exit_static_inv = true; in main()
89 a_exit_static_inv = true; in main()
98 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_mid.cpp66 a_exit_static_inv = true; in main()
90 a_exit_static_inv = false; in main()
114 a_exit_static_inv = true; in main()
138 a_exit_static_inv = true; in main()
162 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_ends.cpp67 a_exit_static_inv = true; in main()
90 a_exit_static_inv = false; in main()
116 a_exit_static_inv = true; in main()
141 a_exit_static_inv = true; in main()
164 a_exit_static_inv = false; in main()
Ddecl_exit_static_inv_all.cpp68 a_exit_static_inv = true; in main()
94 a_exit_static_inv = false; in main()
121 a_exit_static_inv = true; in main()
146 a_exit_static_inv = true; in main()
169 a_exit_static_inv = false; in main()
Ddecl.hpp113 a_exit_static_inv = true; variable
126 else BOOST_CONTRACT_ASSERT(a_exit_static_inv); in static_invariant()