oxidd-cli: add option to output durations as seconds

crates/oxidd-cli/src/main.rs

@@ -111,6 +111,10 @@ struct Cli {
     #[arg(long, default_value_t = 0)]
     threads: u32,
 
+    /// Always output durations as seconds (floating point)
+    #[arg(long)]
+    durations_as_secs: bool,
+
     /// Report progress
     #[arg(long, short = 'p')]
     progress: bool,
@@ -489,6 +493,7 @@ where
 
 fn main() {
     let cli = Cli::parse();
+    util::DURATIONS_AS_SECS.store(cli.durations_as_secs, std::sync::atomic::Ordering::Relaxed);
 
     if let (GateBuildScheme::WorkStealing, false) = (cli.gate_build_scheme, cli.parallel) {
         eprintln!("--gate-build-order=work-stealing requires --parallel");

crates/oxidd-cli/src/util.rs

@@ -1,16 +1,22 @@
 use std::fmt;
+use std::sync::atomic::{AtomicBool, Ordering::Relaxed};
 use std::time::Duration;
 
 use oxidd::util::AllocResult;
 
 // spell-checker:ignore subsec
 
+pub static DURATIONS_AS_SECS: AtomicBool = AtomicBool::new(false);
+
 /// Human-readable durations
 pub struct HDuration(pub Duration);
 
 impl fmt::Display for HDuration {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
         let d = self.0;
+        if DURATIONS_AS_SECS.load(Relaxed) {
+            return write!(f, "{} s", d.as_secs_f64());
+        }
         let s = d.as_secs();
         if s >= 60 {
             let (m, s) = (s / 60, s % 60);