From 30c72edd81ba9072a44e98603ef98cf9ecab6641 Mon Sep 17 00:00:00 2001 From: alecmocatta Date: Mon, 17 Aug 2020 22:28:32 +0100 Subject: [PATCH] fix miri --- amadeus-streaming/src/count_min.rs | 1 + amadeus-streaming/src/distinct.rs | 1 + amadeus-streaming/src/sample.rs | 2 ++ amadeus-streaming/src/top.rs | 2 ++ 4 files changed, 6 insertions(+) diff --git a/amadeus-streaming/src/count_min.rs b/amadeus-streaming/src/count_min.rs index 6a45e39d..baaf4d81 100644 --- a/amadeus-streaming/src/count_min.rs +++ b/amadeus-streaming/src/count_min.rs @@ -262,6 +262,7 @@ mod tests { } #[test] + #[cfg_attr(miri, ignore)] fn test_increment_multi() { let mut cms = CountMinSketch64::::new(0.99, 2.0 / 100.0, ()); for i in 0..1_000_000 { diff --git a/amadeus-streaming/src/distinct.rs b/amadeus-streaming/src/distinct.rs index 1fad41c7..7d99c273 100644 --- a/amadeus-streaming/src/distinct.rs +++ b/amadeus-streaming/src/distinct.rs @@ -634,6 +634,7 @@ mod test { } #[test] + #[cfg_attr(miri, ignore)] fn push() { let actual = 100_000.0; let p = 0.05; diff --git a/amadeus-streaming/src/sample.rs b/amadeus-streaming/src/sample.rs index fd63d886..7b05a873 100644 --- a/amadeus-streaming/src/sample.rs +++ b/amadeus-streaming/src/sample.rs @@ -223,6 +223,7 @@ mod test { use std::collections::HashMap; #[test] + #[cfg_attr(miri, ignore)] fn sample_without_replacement() { let total = 6; let samples = 2; @@ -242,6 +243,7 @@ mod test { } #[test] + #[cfg_attr(miri, ignore)] fn sample_unstable() { let total = 6; let samples = 2; diff --git a/amadeus-streaming/src/top.rs b/amadeus-streaming/src/top.rs index feb549f0..41b6bc4f 100644 --- a/amadeus-streaming/src/top.rs +++ b/amadeus-streaming/src/top.rs @@ -256,6 +256,7 @@ mod test { use std::time; #[test] + #[cfg_attr(miri, ignore)] fn abc() { let mut rng = rand::rngs::SmallRng::from_seed([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]); @@ -339,6 +340,7 @@ mod test { } #[test] + #[cfg_attr(miri, ignore)] fn top_hll() { let mut rng = rand::rngs::SmallRng::from_seed([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]);