From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 4 Apr 2025 14:14:03 +0000 (-0700)
Subject: test DTIME
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4c9d80691fc8b711548763068f289b81f9946605;p=pspp

test DTIME
---

diff --git a/rust/pspp/src/format/display.rs b/rust/pspp/src/format/display.rs
index 135a1b3ba3..b7975c62a9 100644
--- a/rust/pspp/src/format/display.rs
+++ b/rust/pspp/src/format/display.rs
@@ -2635,4 +2635,164 @@ mod test {
     fn mtime16_5() {
         test_times(Format::new(Type::MTime, 16, 5).unwrap(), "mtime16.5.txt");
     }
+
+    #[test]
+    fn dtime8() {
+        test_times(Format::new(Type::DTime, 8, 0).unwrap(), "dtime8.txt");
+    }
+
+    #[test]
+    fn dtime9() {
+        test_times(Format::new(Type::DTime, 9, 0).unwrap(), "dtime9.txt");
+    }
+
+    #[test]
+    fn dtime10() {
+        test_times(Format::new(Type::DTime, 10, 0).unwrap(), "dtime10.txt");
+    }
+
+    #[test]
+    fn dtime11() {
+        test_times(Format::new(Type::DTime, 11, 0).unwrap(), "dtime11.txt");
+    }
+
+    #[test]
+    fn dtime12() {
+        test_times(Format::new(Type::DTime, 12, 0).unwrap(), "dtime12.txt");
+    }
+
+    #[test]
+    fn dtime13() {
+        test_times(Format::new(Type::DTime, 13, 0).unwrap(), "dtime13.txt");
+    }
+
+    #[test]
+    fn dtime13_1() {
+        test_times(Format::new(Type::DTime, 13, 1).unwrap(), "dtime13.1.txt");
+    }
+
+    #[test]
+    fn dtime14() {
+        test_times(Format::new(Type::DTime, 14, 0).unwrap(), "dtime14.txt");
+    }
+
+    #[test]
+    fn dtime14_1() {
+        test_times(Format::new(Type::DTime, 14, 1).unwrap(), "dtime14.1.txt");
+    }
+
+    #[test]
+    fn dtime14_2() {
+        test_times(Format::new(Type::DTime, 14, 2).unwrap(), "dtime14.2.txt");
+    }
+
+    #[test]
+    fn dtime15() {
+        test_times(Format::new(Type::DTime, 15, 0).unwrap(), "dtime15.txt");
+    }
+
+    #[test]
+    fn dtime15_1() {
+        test_times(Format::new(Type::DTime, 15, 1).unwrap(), "dtime15.1.txt");
+    }
+
+    #[test]
+    fn dtime15_2() {
+        test_times(Format::new(Type::DTime, 15, 2).unwrap(), "dtime15.2.txt");
+    }
+
+    #[test]
+    fn dtime15_3() {
+        test_times(Format::new(Type::DTime, 15, 3).unwrap(), "dtime15.3.txt");
+    }
+
+    #[test]
+    fn dtime16() {
+        test_times(Format::new(Type::DTime, 16, 0).unwrap(), "dtime16.txt");
+    }
+
+    #[test]
+    fn dtime16_1() {
+        test_times(Format::new(Type::DTime, 16, 1).unwrap(), "dtime16.1.txt");
+    }
+
+    #[test]
+    fn dtime16_2() {
+        test_times(Format::new(Type::DTime, 16, 2).unwrap(), "dtime16.2.txt");
+    }
+
+    #[test]
+    fn dtime16_3() {
+        test_times(Format::new(Type::DTime, 16, 3).unwrap(), "dtime16.3.txt");
+    }
+
+    #[test]
+    fn dtime16_4() {
+        test_times(Format::new(Type::DTime, 16, 4).unwrap(), "dtime16.4.txt");
+    }
+
+    #[test]
+    fn dtime17() {
+        test_times(Format::new(Type::DTime, 17, 0).unwrap(), "dtime17.txt");
+    }
+
+    #[test]
+    fn dtime17_1() {
+        test_times(Format::new(Type::DTime, 17, 1).unwrap(), "dtime17.1.txt");
+    }
+
+    #[test]
+    fn dtime17_2() {
+        test_times(Format::new(Type::DTime, 17, 2).unwrap(), "dtime17.2.txt");
+    }
+
+    #[test]
+    fn dtime17_3() {
+        test_times(Format::new(Type::DTime, 17, 3).unwrap(), "dtime17.3.txt");
+    }
+
+    #[test]
+    fn dtime17_4() {
+        test_times(Format::new(Type::DTime, 17, 4).unwrap(), "dtime17.4.txt");
+    }
+
+    #[test]
+    fn dtime17_5() {
+        test_times(Format::new(Type::DTime, 17, 5).unwrap(), "dtime17.5.txt");
+    }
+
+    #[test]
+    fn dtime18() {
+        test_times(Format::new(Type::DTime, 18, 0).unwrap(), "dtime18.txt");
+    }
+
+    #[test]
+    fn dtime18_1() {
+        test_times(Format::new(Type::DTime, 18, 1).unwrap(), "dtime18.1.txt");
+    }
+
+    #[test]
+    fn dtime18_2() {
+        test_times(Format::new(Type::DTime, 18, 2).unwrap(), "dtime18.2.txt");
+    }
+
+    #[test]
+    fn dtime18_3() {
+        test_times(Format::new(Type::DTime, 18, 3).unwrap(), "dtime18.3.txt");
+    }
+
+    #[test]
+    fn dtime18_4() {
+        test_times(Format::new(Type::DTime, 18, 4).unwrap(), "dtime18.4.txt");
+    }
+
+    #[test]
+    fn dtime18_5() {
+        test_times(Format::new(Type::DTime, 18, 5).unwrap(), "dtime18.5.txt");
+    }
+
+    #[test]
+    fn dtime18_6() {
+        test_times(Format::new(Type::DTime, 18, 6).unwrap(), "dtime18.6.txt");
+    }
 }