fix miri

constellation-rs · Aug 17, 2020 · 30c72ed · 30c72ed
1 parent 4c2d2ec
commit 30c72ed
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 0 deletions.
diff --git 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::<u64>::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
@@ -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
@@ -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
@@ -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]);