Home
last modified time | relevance | path

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

/third_party/boost/libs/contract/test/constructor/
Ddecl_exit_inv_none.cpp69 b_exit_inv = true; in main()
78 b_exit_inv = true; in main()
87 b_exit_inv = false; in main()
96 b_exit_inv = true; in main()
105 b_exit_inv = false; in main()
Ddecl_exit_inv_mid.cpp98 b_exit_inv = true; in main()
116 b_exit_inv = true; in main()
131 b_exit_inv = false; in main()
152 b_exit_inv = true; in main()
167 b_exit_inv = false; in main()
Ddecl_exit_inv_all.cpp98 b_exit_inv = true; in main()
116 b_exit_inv = true; in main()
137 b_exit_inv = false; in main()
158 b_exit_inv = true; in main()
179 b_exit_inv = false; in main()
Ddecl_exit_inv_ends.cpp98 b_exit_inv = true; in main()
116 b_exit_inv = true; in main()
137 b_exit_inv = false; in main()
152 b_exit_inv = true; in main()
173 b_exit_inv = false; in main()
Ddecl.hpp68 bool b_exit_inv = true; // Only exit non-static inv for ctors. variable
92 BOOST_CONTRACT_ASSERT(b_exit_inv); in invariant()
/third_party/boost/libs/contract/test/public_function/
Ddecl_exit_inv_none.cpp64 b_exit_inv = true; in main()
73 b_exit_inv = true; in main()
82 b_exit_inv = false; in main()
90 b_exit_inv = true; in main()
99 b_exit_inv = false; in main()
Ddecl_exit_inv_mid.cpp67 b_exit_inv = true; in main()
89 b_exit_inv = true; in main()
113 b_exit_inv = false; in main()
138 b_exit_inv = true; in main()
161 b_exit_inv = false; in main()
Ddecl_exit_inv_ends.cpp68 b_exit_inv = true; in main()
91 b_exit_inv = true; in main()
118 b_exit_inv = false; in main()
140 b_exit_inv = true; in main()
164 b_exit_inv = false; in main()
Ddecl_exit_inv_all.cpp69 b_exit_inv = true; in main()
93 b_exit_inv = true; in main()
121 b_exit_inv = false; in main()
147 b_exit_inv = true; in main()
171 b_exit_inv = false; in main()
Ddecl.hpp66 bool b_entering_inv = true, b_entry_inv = true, b_exit_inv = true; variable
86 else BOOST_CONTRACT_ASSERT(b_exit_inv); in invariant()