Home
last modified time | relevance | path

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

/third_party/boost/libs/contract/test/destructor/
Ddecl_entry_static_inv_none.cpp61 b_entry_static_inv = true; in main()
72 b_entry_static_inv = true; in main()
83 b_entry_static_inv = false; in main()
94 b_entry_static_inv = true; in main()
105 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_mid.cpp86 b_entry_static_inv = true; in main()
107 b_entry_static_inv = true; in main()
125 b_entry_static_inv = false; in main()
153 b_entry_static_inv = true; in main()
176 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_ends.cpp91 b_entry_static_inv = true; in main()
112 b_entry_static_inv = true; in main()
140 b_entry_static_inv = false; in main()
156 b_entry_static_inv = true; in main()
188 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_all.cpp93 b_entry_static_inv = true; in main()
114 b_entry_static_inv = true; in main()
142 b_entry_static_inv = false; in main()
170 b_entry_static_inv = true; in main()
202 b_entry_static_inv = false; in main()
Ddecl.hpp59 bool b_entering_static_inv = true, b_entry_static_inv = true, variable
72 if(b_entering_static_inv) BOOST_CONTRACT_ASSERT(b_entry_static_inv); in static_invariant()
/third_party/boost/libs/contract/test/public_function/
Ddecl_entry_static_inv_none.cpp57 b_entry_static_inv = true; in main()
66 b_entry_static_inv = true; in main()
75 b_entry_static_inv = false; in main()
84 b_entry_static_inv = true; in main()
93 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_mid.cpp61 b_entry_static_inv = true; in main()
82 b_entry_static_inv = true; in main()
101 b_entry_static_inv = false; in main()
124 b_entry_static_inv = true; in main()
143 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_all.cpp63 b_entry_static_inv = true; in main()
86 b_entry_static_inv = true; in main()
112 b_entry_static_inv = false; in main()
136 b_entry_static_inv = true; in main()
158 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_ends.cpp62 b_entry_static_inv = true; in main()
84 b_entry_static_inv = true; in main()
109 b_entry_static_inv = false; in main()
151 b_entry_static_inv = true; in main()
173 b_entry_static_inv = false; in main()
Ddecl.hpp64 bool b_entering_static_inv = true, b_entry_static_inv = true, variable
77 if(b_entering_static_inv) BOOST_CONTRACT_ASSERT(b_entry_static_inv); in static_invariant()
/third_party/boost/libs/contract/test/constructor/
Ddecl_entry_static_inv_none.cpp67 b_entry_static_inv = true; in main()
78 b_entry_static_inv = true; in main()
89 b_entry_static_inv = false; in main()
100 b_entry_static_inv = true; in main()
111 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_mid.cpp98 b_entry_static_inv = true; in main()
118 b_entry_static_inv = true; in main()
137 b_entry_static_inv = false; in main()
162 b_entry_static_inv = true; in main()
179 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_ends.cpp101 b_entry_static_inv = true; in main()
121 b_entry_static_inv = true; in main()
144 b_entry_static_inv = false; in main()
161 b_entry_static_inv = true; in main()
184 b_entry_static_inv = false; in main()
Ddecl_entry_static_inv_all.cpp105 b_entry_static_inv = true; in main()
125 b_entry_static_inv = true; in main()
148 b_entry_static_inv = false; in main()
171 b_entry_static_inv = true; in main()
194 b_entry_static_inv = false; in main()
Ddecl.hpp66 bool b_entering_static_inv = true, b_entry_static_inv = true, variable
84 if(b_entering_static_inv) BOOST_CONTRACT_ASSERT(b_entry_static_inv); in static_invariant()