Home
last modified time | relevance | path

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

/third_party/boost/libs/contract/test/destructor/
Ddecl_entry_static_inv_none.cpp60 a_entry_static_inv = true; in main()
71 a_entry_static_inv = false; in main()
82 a_entry_static_inv = true; in main()
93 a_entry_static_inv = true; in main()
104 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_mid.cpp85 a_entry_static_inv = true; in main()
106 a_entry_static_inv = false; in main()
124 a_entry_static_inv = true; in main()
152 a_entry_static_inv = true; in main()
175 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_ends.cpp90 a_entry_static_inv = true; in main()
111 a_entry_static_inv = false; in main()
139 a_entry_static_inv = true; in main()
155 a_entry_static_inv = true; in main()
187 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_all.cpp92 a_entry_static_inv = true; in main()
113 a_entry_static_inv = false; in main()
141 a_entry_static_inv = true; in main()
169 a_entry_static_inv = true; in main()
201 a_entry_static_inv = false; in main()
Ddecl.hpp102 bool a_entering_static_inv = true, a_entry_static_inv = true, variable
115 if(a_entering_static_inv) BOOST_CONTRACT_ASSERT(a_entry_static_inv); in static_invariant()
/third_party/boost/libs/contract/test/public_function/
Ddecl_entry_static_inv_none.cpp56 a_entry_static_inv = true; in main()
65 a_entry_static_inv = false; in main()
74 a_entry_static_inv = true; in main()
83 a_entry_static_inv = true; in main()
92 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_mid.cpp60 a_entry_static_inv = true; in main()
81 a_entry_static_inv = false; in main()
100 a_entry_static_inv = true; in main()
123 a_entry_static_inv = true; in main()
142 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_all.cpp62 a_entry_static_inv = true; in main()
85 a_entry_static_inv = false; in main()
111 a_entry_static_inv = true; in main()
135 a_entry_static_inv = true; in main()
157 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_ends.cpp61 a_entry_static_inv = true; in main()
83 a_entry_static_inv = false; in main()
108 a_entry_static_inv = true; in main()
150 a_entry_static_inv = true; in main()
172 a_entry_static_inv = false; in main()
Ddecl.hpp112 bool a_entering_static_inv = true, a_entry_static_inv = true, variable
125 if(a_entering_static_inv) BOOST_CONTRACT_ASSERT(a_entry_static_inv); in static_invariant()
/third_party/boost/libs/contract/test/constructor/
Ddecl_entry_static_inv_none.cpp66 a_entry_static_inv = true; in main()
77 a_entry_static_inv = false; in main()
88 a_entry_static_inv = true; in main()
99 a_entry_static_inv = true; in main()
110 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_mid.cpp97 a_entry_static_inv = true; in main()
117 a_entry_static_inv = false; in main()
136 a_entry_static_inv = true; in main()
161 a_entry_static_inv = true; in main()
178 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_ends.cpp100 a_entry_static_inv = true; in main()
120 a_entry_static_inv = false; in main()
143 a_entry_static_inv = true; in main()
160 a_entry_static_inv = true; in main()
183 a_entry_static_inv = false; in main()
Ddecl_entry_static_inv_all.cpp104 a_entry_static_inv = true; in main()
124 a_entry_static_inv = false; in main()
147 a_entry_static_inv = true; in main()
170 a_entry_static_inv = true; in main()
193 a_entry_static_inv = false; in main()
Ddecl.hpp118 bool a_entering_static_inv = true, a_entry_static_inv = true, variable
136 if(a_entering_static_inv) BOOST_CONTRACT_ASSERT(a_entry_static_inv); in static_invariant()