Merge pull request #757 from uuid-rs/ci/more-miri

Expand miri tests to cover all features

.github/workflows/ci.yml

@@ -157,10 +157,10 @@ jobs:
           cargo +nightly miri setup
 
       - name: Default features
-        run: cargo +nightly miri test --lib
+        run: cargo +nightly miri test --lib --all-features
 
       - name: BE
-        run: cargo +nightly miri test --target s390x-unknown-linux-gnu --lib
+        run: cargo +nightly miri test --target s390x-unknown-linux-gnu --lib --all-features
 
   clippy:
     name: Build / Clippy

src/timestamp.rs

@@ -336,6 +336,7 @@ fn now() -> (u64, u32) {
 
 #[cfg(all(
     feature = "std",
+    not(miri),
     any(
         not(feature = "js"),
         not(all(
@@ -353,6 +354,21 @@ fn now() -> (u64, u32) {
     (dur.as_secs(), dur.subsec_nanos())
 }
 
+#[cfg(all(feature = "std", miri))]
+fn now() -> (u64, u32) {
+    use std::{sync::Mutex, time::Duration};
+
+    static TS: Mutex<u64> = Mutex::new(0);
+
+    let ts = Duration::from_nanos({
+        let mut ts = TS.lock().unwrap();
+        *ts += 1;
+        *ts
+    });
+
+    (ts.as_secs(), ts.subsec_nanos())
+}
+
 /// A counter that can be used by version 1 and version 6 UUIDs to support
 /// the uniqueness of timestamps.
 ///