| /third_party/boost/libs/contract/test/destructor/ |
| D | decl_entry_static_inv_mid.cpp | 19 std::string ok_a() { in ok_a() function
95 << ok_a() in main()
117 << ok_a() // Test no a::static_inv so no failure here. in main()
133 << ok_a() in main()
163 << ok_a() in main()
186 << ok_a() // Test no a::static_inv so no failure here. in main()
193 << ok_a() in main()
|
| D | decl_post_mid.cpp | 18 std::string ok_a() { in ok_a() function
86 << ok_a() in main()
106 << ok_a() // Test no a::dtor::post so no failure here. in main()
126 << ok_a() in main()
150 << ok_a() in main()
164 << ok_a() in main()
|
| D | decl_post_ends.cpp | 18 std::string ok_a() { in ok_a() function
90 << ok_a() in main()
114 << ok_a() // Test a::dtor::post failed. in main()
138 << ok_a() in main()
152 << ok_a() in main()
173 << ok_a() // Test a::dtor::post failed. in main()
|
| D | decl_post_all.cpp | 18 std::string ok_a() { in ok_a() function
93 << ok_a() in main()
117 << ok_a() // Test a::dtor::post failed... in main()
139 << ok_a() in main()
161 << ok_a() in main()
182 << ok_a() // Test a::dtor::post failed... in main()
|
| D | decl_entry_inv_mid.cpp | 18 std::string ok_a() { in ok_a() function
92 << ok_a() in main()
113 << ok_a() // Test no entry a::inv so no failure here. in main()
133 << ok_a() in main()
159 << ok_a() in main()
179 << ok_a() // Test no entry a::inv so no failure here. in main()
|
| D | decl_exit_static_inv_mid.cpp | 19 std::string ok_a() { in ok_a() function
100 << ok_a() in main()
123 << ok_a() // Test no exit a::static_inv so no failure here. in main()
139 << ok_a() in main()
167 << ok_a() in main()
191 << ok_a() in main()
|
| D | decl_entry_inv_ends.cpp | 18 std::string ok_a(bool failed = false) { in ok_a() function
98 << ok_a() in main()
123 << ok_a(BOOST_CONTRACT_TEST_entry_inv) in main()
146 << ok_a() in main()
159 << ok_a() in main()
188 << ok_a(BOOST_CONTRACT_TEST_entry_inv) in main()
|
| D | decl_exit_static_inv_ends.cpp | 19 std::string ok_a(bool failed = false) { in ok_a() function
107 << ok_a() in main()
128 << ok_a(BOOST_CONTRACT_TEST_exit_inv) in main()
153 << ok_a() in main()
168 << ok_a() in main()
199 << ok_a(BOOST_CONTRACT_TEST_exit_inv) in main()
|
| D | decl_entry_static_inv_ends.cpp | 19 std::string ok_a() { in ok_a() function
100 << ok_a() in main()
123 << ok_a() in main()
149 << ok_a() in main()
164 << ok_a() in main()
206 << ok_a() in main()
|
| D | decl_entry_inv_all.cpp | 18 std::string ok_a(bool failed = false) { in ok_a() function
101 << ok_a() in main()
126 << ok_a(BOOST_CONTRACT_TEST_entry_inv) in main()
148 << ok_a() in main()
171 << ok_a() in main()
200 << ok_a(BOOST_CONTRACT_TEST_entry_inv) in main()
|
| D | decl_entry_static_inv_all.cpp | 19 std::string ok_a() { in ok_a() function
102 << ok_a() in main()
125 << ok_a() in main()
150 << ok_a() in main()
178 << ok_a() in main()
221 << ok_a() in main()
|
| D | decl_exit_static_inv_all.cpp | 19 std::string ok_a(bool failed = false) { in ok_a() function
109 << ok_a() in main()
130 << ok_a(BOOST_CONTRACT_TEST_exit_inv) in main()
154 << ok_a() in main()
179 << ok_a() in main()
210 << ok_a(BOOST_CONTRACT_TEST_exit_inv) in main()
|
| /third_party/boost/libs/contract/test/constructor/ |
| D | decl_post_mid.cpp | 56 std::string ok_a() { in ok_a() function
86 << ok_a() in main()
102 << ok_a() // Test no a::ctor::post so no failure. in main()
120 << ok_a() in main()
134 << ok_a() in main()
152 << ok_a() in main()
|
| D | decl_exit_inv_mid.cpp | 62 std::string ok_a() { in ok_a() function
106 << ok_a() in main()
124 << ok_a() // Test no failure here. in main()
144 << ok_a() in main()
160 << ok_a() in main()
180 << ok_a() in main()
|
| D | decl_post_all.cpp | 64 std::string ok_a() { in ok_a() function
98 << ok_a() in main()
119 << ok_a() in main()
138 << ok_a() in main()
158 << ok_a() in main()
178 << ok_a() in main()
|
| D | decl_exit_inv_all.cpp | 62 std::string ok_a() { in ok_a() function
106 << ok_a() in main()
128 << ok_a() // Test a::inv failed. in main()
150 << ok_a() in main()
171 << ok_a() in main()
192 << ok_a() in main()
|
| D | decl_exit_inv_ends.cpp | 62 std::string ok_a() { in ok_a() function
106 << ok_a() in main()
128 << ok_a() // Test a::inv failed. in main()
145 << ok_a() in main()
165 << ok_a() in main()
186 << ok_a() in main()
|
| D | decl_entry_static_inv_mid.cpp | 51 std::string ok_a() { in ok_a() function
108 << ok_a() in main()
128 << ok_a() // Test no a::static_inv so no failure. in main()
152 << ok_a() in main()
172 << ok_a() in main()
194 << ok_a() in main()
|
| D | decl_exit_static_inv_mid.cpp | 59 std::string ok_a() { in ok_a() function
111 << ok_a() in main()
131 << ok_a() // Test no a::static_inv so no failure. in main()
153 << ok_a() in main()
171 << ok_a() in main()
193 << ok_a() in main()
|
| D | decl_entry_static_inv_ends.cpp | 52 std::string ok_a() { in ok_a() function
111 << ok_a() in main()
135 << ok_a() // Test a::static_inv failed. in main()
154 << ok_a() in main()
176 << ok_a() in main()
199 << ok_a() in main()
|
| D | decl_exit_static_inv_ends.cpp | 58 std::string ok_a() { in ok_a() function
115 << ok_a() in main()
139 << ok_a() // Test a::static_inv failed. in main()
158 << ok_a() in main()
180 << ok_a() in main()
203 << ok_a() in main()
|
| D | decl_exit_static_inv_all.cpp | 64 std::string ok_a() { in ok_a() function
121 << ok_a() in main()
145 << ok_a() // Test exit a::static_inv failed. in main()
169 << ok_a() in main()
192 << ok_a() in main()
215 << ok_a() in main()
|
| D | decl_entry_static_inv_all.cpp | 55 std::string ok_a() { in ok_a() function
115 << ok_a() in main()
139 << ok_a() // Test a::static_inv failed. in main()
163 << ok_a() in main()
186 << ok_a() in main()
209 << ok_a() in main()
|