270         const datetime::timestamp ts2 = ts1;  in ATF_TEST_CASE_BODY()  local
274         ATF_REQUIRE_EQ("2011", ts2.strftime("%Y"));  in ATF_TEST_CASE_BODY()
347     const datetime::timestamp ts2 = datetime::timestamp::from_values(  in ATF_TEST_CASE_BODY()  local
349     ATF_REQUIRE_EQ("2011-02-16T19:15:30", ts2.strftime("%Y-%m-%dT%H:%M:%S"));  in ATF_TEST_CASE_BODY()
360     const datetime::timestamp ts2= datetime::timestamp::from_values(  in ATF_TEST_CASE_BODY()  local
362     ATF_REQUIRE_EQ("2016-07-11T17:51:28.123456Z", ts2.to_iso8601_in_utc());  in ATF_TEST_CASE_BODY()
417         const datetime::timestamp ts2 = datetime::timestamp::from_microseconds(  in ATF_TEST_CASE_BODY()  local
420         ATF_REQUIRE(!(ts1 < ts2));  in ATF_TEST_CASE_BODY()
421         ATF_REQUIRE(  ts1 <= ts2);  in ATF_TEST_CASE_BODY()
422         ATF_REQUIRE(!(ts1 > ts2));  in ATF_TEST_CASE_BODY()
423         ATF_REQUIRE(  ts1 >= ts2);  in ATF_TEST_CASE_BODY()
428         const datetime::timestamp ts2 = datetime::timestamp::from_microseconds(  in ATF_TEST_CASE_BODY()  local
431         ATF_REQUIRE( ts1 < ts2);  in ATF_TEST_CASE_BODY()
432         ATF_REQUIRE( ts1 <= ts2);  in ATF_TEST_CASE_BODY()
433         ATF_REQUIRE(!(ts1 > ts2));  in ATF_TEST_CASE_BODY()
434         ATF_REQUIRE(!(ts1 >= ts2));  in ATF_TEST_CASE_BODY()
439         const datetime::timestamp ts2 = datetime::timestamp::from_microseconds(  in ATF_TEST_CASE_BODY()  local
442         ATF_REQUIRE(!(ts1 < ts2));  in ATF_TEST_CASE_BODY()
443         ATF_REQUIRE(!(ts1 <= ts2));  in ATF_TEST_CASE_BODY()
444         ATF_REQUIRE(  ts1 > ts2);  in ATF_TEST_CASE_BODY()
445         ATF_REQUIRE(  ts1 >= ts2);  in ATF_TEST_CASE_BODY()
525     const datetime::timestamp ts2 = datetime::timestamp::from_microseconds(  in ATF_TEST_CASE_BODY()  local
531     ATF_REQUIRE_EQ(datetime::delta(0, 12), ts2 - ts1);  in ATF_TEST_CASE_BODY()
533     ATF_REQUIRE_EQ(datetime::delta(99, 999988), ts3 - ts2);  in ATF_TEST_CASE_BODY()
539     ATF_REQUIRE_EQ(datetime::delta::from_microseconds(1), ts2 - ts3);  in ATF_TEST_CASE_BODY()