Home
last modified time | relevance | path

Searched refs:c_entering_inv (Results 1 – 9 of 9) sorted by relevance

/third_party/boost/libs/contract/test/public_function/
Ddecl_entry_inv_none.cpp60 a_entering_inv = b_entering_inv = c_entering_inv = in main()
69 a_entering_inv = b_entering_inv = c_entering_inv = in main()
78 a_entering_inv = b_entering_inv = c_entering_inv = in main()
87 a_entering_inv = b_entering_inv = c_entering_inv = in main()
96 a_entering_inv = b_entering_inv = c_entering_inv = in main()
Ddecl_exit_inv_none.cpp66 a_entering_inv = b_entering_inv = c_entering_inv = in main()
75 a_entering_inv = b_entering_inv = c_entering_inv = in main()
83 a_entering_inv = b_entering_inv = c_entering_inv = in main()
92 a_entering_inv = b_entering_inv = c_entering_inv = in main()
101 a_entering_inv = b_entering_inv = c_entering_inv = in main()
Ddecl_entry_inv_ends.cpp64 a_entering_inv = b_entering_inv = c_entering_inv = in main()
86 a_entering_inv = b_entering_inv = c_entering_inv = in main()
112 a_entering_inv = b_entering_inv = c_entering_inv = in main()
133 a_entering_inv = b_entering_inv = c_entering_inv = in main()
156 a_entering_inv = b_entering_inv = c_entering_inv = in main()
Ddecl_entry_inv_mid.cpp63 a_entering_inv = b_entering_inv = c_entering_inv = in main()
84 a_entering_inv = b_entering_inv = c_entering_inv = in main()
104 a_entering_inv = b_entering_inv = c_entering_inv = in main()
128 a_entering_inv = b_entering_inv = c_entering_inv = in main()
148 a_entering_inv = b_entering_inv = c_entering_inv = in main()
Ddecl_entry_inv_all.cpp65 a_entering_inv = b_entering_inv = c_entering_inv = in main()
88 a_entering_inv = b_entering_inv = c_entering_inv = in main()
115 a_entering_inv = b_entering_inv = c_entering_inv = in main()
140 a_entering_inv = b_entering_inv = c_entering_inv = in main()
163 a_entering_inv = b_entering_inv = c_entering_inv = in main()
Ddecl_exit_inv_mid.cpp69 a_entering_inv = b_entering_inv = c_entering_inv = in main()
91 a_entering_inv = b_entering_inv = c_entering_inv = in main()
115 a_entering_inv = b_entering_inv = c_entering_inv = in main()
140 a_entering_inv = b_entering_inv = c_entering_inv = in main()
163 a_entering_inv = b_entering_inv = c_entering_inv = in main()
Ddecl_exit_inv_all.cpp71 a_entering_inv = b_entering_inv = c_entering_inv = in main()
95 a_entering_inv = b_entering_inv = c_entering_inv = in main()
123 a_entering_inv = b_entering_inv = c_entering_inv = in main()
149 a_entering_inv = b_entering_inv = c_entering_inv = in main()
173 a_entering_inv = b_entering_inv = c_entering_inv = in main()
Ddecl_exit_inv_ends.cpp70 a_entering_inv = b_entering_inv = c_entering_inv = in main()
93 a_entering_inv = b_entering_inv = c_entering_inv = in main()
120 a_entering_inv = b_entering_inv = c_entering_inv = in main()
142 a_entering_inv = b_entering_inv = c_entering_inv = in main()
166 a_entering_inv = b_entering_inv = c_entering_inv = in main()
Ddecl.hpp24 bool c_entering_inv = true, c_entry_inv = true, c_exit_inv = true; variable
37 if(c_entering_inv) BOOST_CONTRACT_ASSERT(c_entry_inv); in invariant()
39 c_entering_inv = false; in invariant()