39   system_timer timer2(ctx2);  in test01()  local
40   VERIFY( timer2.get_executor() == ctx2.get_executor() );  in test01()
41   VERIFY( timer2.get_executor() != timer1.get_executor() );  in test01()
42   VERIFY( timer2.expiry() == system_timer::time_point() );  in test01()
49   system_timer timer4(std::move(timer2));  in test01()
52   VERIFY( timer2.expiry() == system_timer::time_point() );  in test01()
68   system_timer timer2(ctx2, t2);  in test02()  local
69   VERIFY( timer2.get_executor() == ctx2.get_executor() );  in test02()
70   VERIFY( timer2.get_executor() != timer1.get_executor() );  in test02()
71   VERIFY( timer2.expiry() == t2 );  in test02()
78   system_timer timer4(std::move(timer2));  in test02()
81   VERIFY( timer2.expiry() == system_timer::time_point() );  in test02()
98   system_timer timer2(ctx2, d2);  in test03()  local
99   VERIFY( timer2.get_executor() == ctx2.get_executor() );  in test03()
100   VERIFY( timer2.get_executor() != timer1.get_executor() );  in test03()
101   VERIFY( timer2.expiry() > now );  in test03()
102   VERIFY( timer2.expiry() != timer1.expiry() );  in test03()
109   system_timer timer4(std::move(timer2));  in test03()
112   VERIFY( timer2.expiry() == system_timer::time_point() );  in test03()