Lines Matching refs:endl
42 static void static_invariant() { out << "d::static_inv" << std::endl; } in static_invariant()
43 void invariant() const { out << "d::inv" << std::endl; } in invariant()
52 out << "d::f::pre" << std::endl; in f()
55 .old([] { out << "d::f::old" << std::endl; }) in f()
57 out << "d::f::post" << std::endl; in f()
64 out << "d::f::body" << std::endl; in f()
77 static void static_invariant() { out << "c::static_inv" << std::endl; } in static_invariant()
78 void invariant() const { out << "c::inv" << std::endl; } in invariant()
87 out << "c::f::pre" << std::endl; in f()
90 .old([] { out << "c::f::old" << std::endl; }) in f()
92 out << "c::f::post" << std::endl; in f()
99 out << "c::f::body" << std::endl; in f()
113 static void static_invariant() { out << "b::static_inv" << std::endl; } in static_invariant()
114 void invariant() const { out << "b::inv" << std::endl; } in invariant()
123 out << "b::f::pre" << std::endl; in f()
126 .old([] { out << "b::f::old" << std::endl; }) in f()
128 out << "b::f::post" << std::endl; in f()
135 out << "b::f::body" << std::endl; in f()
149 static void static_invariant() { out << "a::static_inv" << std::endl; } in static_invariant()
150 void invariant() const { out << "a::inv" << std::endl; } in invariant()
159 out << "a::f::pre" << std::endl; in f()
162 .old([] { out << "a::f::old" << std::endl; }) in f()
164 out << "a::f::post" << std::endl; in f()
171 out << "a::f::body" << std::endl; in f()
185 static void static_invariant() { out << "e::static_inv" << std::endl; } in static_invariant()
186 void invariant() const { out << "e::inv" << std::endl; } in invariant()
195 out << "e::f::pre" << std::endl; in f()
198 .old([] { out << "e::f::old" << std::endl; }) in f()
200 out << "e::f::post" << std::endl; in f()
207 out << "e::f::body" << std::endl; in f()
227 << "d::static_inv" << std::endl in main()
228 << "d::inv" << std::endl in main()
229 << "c::static_inv" << std::endl in main()
230 << "c::inv" << std::endl in main()
231 << "b::static_inv" << std::endl in main()
232 << "b::inv" << std::endl in main()
233 << "a::static_inv" << std::endl in main()
234 << "a::inv" << std::endl in main()
237 << "d::f::pre" << std::endl in main()
238 << "c::f::pre" << std::endl in main()
239 << "b::f::pre" << std::endl in main()
240 << "a::f::pre" << std::endl in main()
243 << "d::f::old" << std::endl in main()
244 << "c::f::old" << std::endl in main()
245 << "b::f::old" << std::endl in main()
246 << "a::f::old" << std::endl in main()
248 << "a::f::body" << std::endl in main()
250 << "d::static_inv" << std::endl in main()
251 << "d::inv" << std::endl in main()
252 << "c::static_inv" << std::endl in main()
253 << "c::inv" << std::endl in main()
254 << "b::static_inv" << std::endl in main()
255 << "b::inv" << std::endl in main()
256 << "a::static_inv" << std::endl in main()
257 << "a::inv" << std::endl in main()
260 << "d::f::old" << std::endl in main()
261 << "d::f::post" << std::endl in main()
262 << "c::f::old" << std::endl in main()
263 << "c::f::post" << std::endl in main()
264 << "b::f::old" << std::endl in main()
265 << "b::f::post" << std::endl in main()
266 << "a::f::post" << std::endl in main()
280 << "d::static_inv" << std::endl in main()
281 << "d::inv" << std::endl in main()
282 << "c::static_inv" << std::endl in main()
283 << "c::inv" << std::endl in main()
284 << "b::static_inv" << std::endl in main()
285 << "b::inv" << std::endl in main()
288 << "d::f::pre" << std::endl in main()
289 << "c::f::pre" << std::endl in main()
290 << "b::f::pre" << std::endl in main()
293 << "d::f::old" << std::endl in main()
294 << "c::f::old" << std::endl in main()
295 << "b::f::old" << std::endl in main()
297 << "b::f::body" << std::endl in main()
299 << "d::static_inv" << std::endl in main()
300 << "d::inv" << std::endl in main()
301 << "c::static_inv" << std::endl in main()
302 << "c::inv" << std::endl in main()
303 << "b::static_inv" << std::endl in main()
304 << "b::inv" << std::endl in main()
307 << "d::f::old" << std::endl in main()
308 << "d::f::post" << std::endl in main()
309 << "c::f::old" << std::endl in main()
310 << "c::f::post" << std::endl in main()
311 << "b::f::post" << std::endl in main()
325 << "d::static_inv" << std::endl in main()
326 << "d::inv" << std::endl in main()
327 << "c::static_inv" << std::endl in main()
328 << "c::inv" << std::endl in main()
331 << "d::f::pre" << std::endl in main()
332 << "c::f::pre" << std::endl in main()
335 << "d::f::old" << std::endl in main()
336 << "c::f::old" << std::endl in main()
338 << "c::f::body" << std::endl in main()
340 << "d::static_inv" << std::endl in main()
341 << "d::inv" << std::endl in main()
342 << "c::static_inv" << std::endl in main()
343 << "c::inv" << std::endl in main()
346 << "d::f::old" << std::endl in main()
347 << "d::f::post" << std::endl in main()
348 << "c::f::post" << std::endl in main()
362 << "d::static_inv" << std::endl in main()
363 << "d::inv" << std::endl in main()
364 << "c::static_inv" << std::endl in main()
365 << "c::inv" << std::endl in main()
366 << "b::static_inv" << std::endl in main()
367 << "b::inv" << std::endl in main()
368 << "e::static_inv" << std::endl in main()
369 << "e::inv" << std::endl in main()
372 << "d::f::pre" << std::endl in main()
373 << "c::f::pre" << std::endl in main()
374 << "b::f::pre" << std::endl in main()
375 << "e::f::pre" << std::endl in main()
378 << "d::f::old" << std::endl in main()
379 << "c::f::old" << std::endl in main()
380 << "b::f::old" << std::endl in main()
381 << "e::f::old" << std::endl in main()
383 << "e::f::body" << std::endl in main()
385 << "d::static_inv" << std::endl in main()
386 << "d::inv" << std::endl in main()
387 << "c::static_inv" << std::endl in main()
388 << "c::inv" << std::endl in main()
389 << "b::static_inv" << std::endl in main()
390 << "b::inv" << std::endl in main()
391 << "e::static_inv" << std::endl in main()
392 << "e::inv" << std::endl in main()
395 << "d::f::old" << std::endl in main()
396 << "d::f::post" << std::endl in main()
397 << "c::f::old" << std::endl in main()
398 << "c::f::post" << std::endl in main()
399 << "b::f::old" << std::endl in main()
400 << "b::f::post" << std::endl in main()
401 << "e::f::post" << std::endl in main()