Kani autogen follow on

src/duration/kani_verif.rs

@@ -115,7 +115,7 @@ mod tests {
     }
 
     repeat_test!(test_dur_f64_recip_0, [1e-9, 1e-8, 1e-7, 1e-6, 1e-5]);
-    repeat_test!(test_dur_f64_recip_1, [1e-5, 1e-4, 1e-3]);
+    // repeat_test!(test_dur_f64_recip_1, [1e-5, 1e-4, 1e-3]);
     // repeat_test!(test_dur_f64_recip_2, [1e-2, 1e-1, 1e0]);
     // repeat_test!(test_dur_f64_recip_3, [1e0, 1e1, 1e2]);
     // repeat_test!(test_dur_f64_recip_4, [1e2, 1e3, 1e4]);
@@ -125,8 +125,8 @@ mod tests {
 
 #[cfg(kani)]
 mod kani_harnesses {
-    use crate::Unit;
     use super::*;
+    use crate::Unit;
     #[kani::proof]
     fn kani_harness_Duration_from_parts() {
         let centuries: i16 = kani::any();

src/duration/mod.rs

@@ -827,4 +827,4 @@ mod ut_duration {
         assert_eq!(microseconds, 0);
         assert_eq!(nanoseconds, 0);
     }
-}
+}

src/efmt/format.rs

@@ -600,4 +600,4 @@ fn gh_248_regression() {
     let e = Epoch::from_format_str("2023-117T12:55:26", "%Y-%jT%H:%M:%S").unwrap();
 
     assert_eq!(format!("{e}"), "2023-04-27T12:55:26 UTC");
-}
+}

src/efmt/formatter.rs

@@ -302,4 +302,4 @@ impl fmt::Display for Formatter {
         }
         Ok(())
     }
-}
+}

src/efmt/kani_verif.rs

@@ -1,15 +1,15 @@
 use super::{
     format::Format,
-    formatter::{Item, Formatter},
+    formatter::{Formatter, Item},
 };
-use crate::{duration::Duration, TimeScale};
-use crate::Epoch;
 use crate::parser::Token;
+use crate::Epoch;
+use crate::{duration::Duration, TimeScale};
 
 #[cfg(kani)]
 mod kani_harnesses {
-    use crate::*;
     use super::*;
+    use crate::*;
     #[kani::proof]
     fn kani_harness_need_gregorian() {
         let callee: Format = kani::any();

src/efmt/mod.rs

@@ -16,4 +16,4 @@ pub use format::Format;
 pub use formatter::Formatter;
 
 #[cfg(kani)]
-mod kani_verif;
+mod kani_verif;

src/epoch/kani_verif.rs

@@ -8,7 +8,7 @@
  * Documentation: https://nyxspace.com/
  */
 
-use super::{Duration, Epoch, TimeScale, Unit, TT_OFFSET_MS, Weekday};
+use super::{Duration, Epoch, TimeScale, Unit, Weekday, TT_OFFSET_MS};
 use crate::epoch::system_time::duration_since_unix_epoch;
 use crate::leap_seconds::LeapSecond;
 
@@ -179,8 +179,8 @@ fn formal_epoch_julian() {
 
 #[cfg(kani)]
 mod kani_harnesses {
-    use crate::*;
     use super::*;
+    use crate::*;
     #[kani::proof]
     fn kani_harness_Epoch_compute_gregorian() {
         let duration: Duration = kani::any();

src/epoch/leap_seconds.rs

@@ -162,4 +162,4 @@ fn leap_second_fetch() {
         leap_seconds[41],
         LeapSecond::new(3_692_217_600.0, 37.0, true)
     );
-}
+}

src/epoch/mod.rs

@@ -1451,4 +1451,4 @@ mod kani_harnesses {
         let rhs: f64 = kani::any();
         rem_euclid_f64(lhs, rhs);
     }
-}
+}

src/epoch/with_funcs.rs

@@ -148,4 +148,3 @@ impl Epoch {
         )
     }
 }
-

src/parser.rs

@@ -277,4 +277,4 @@ impl Token {
                 | Token::MonthNameShort
         )
     }
-}
+}

src/timeseries.rs

@@ -416,4 +416,3 @@ mod tests {
         assert_eq!(cur_epoch, start, "incorrect last item in iterator");
     }
 }
-