adds sample tests

src/lib.rs

@@ -38,8 +38,8 @@ mod tests {
     mod indcpa;
     //     mod matrix;
     mod ntt;
+    mod sample;
     mod params;
     mod polynomials;
-    //     mod sample;
     mod vectors;
 }

src/tests/indcpa.rs

@@ -1,3 +1,4 @@
+#![allow(warnings)]
 #[cfg(test)]
 mod indcpa_tests {
     use crate::{

src/tests/sample.rs

@@ -0,0 +1,35 @@
+#![allow(warnings)]
+#[cfg(test)]
+
+pub(in crate::tests) mod sample_tests {
+    use crate::{
+        polynomials::*,
+        params::*,
+        tests::{
+            polynomials::poly_tests::*,
+            params::params_tests::sec_level_strategy,
+        },
+    };
+    use proptest::prelude::*;
+
+    proptest! {
+        #[test]
+        fn derive_noise_test(
+            seed in prop::array::uniform32(u8::MIN..u8::MAX),
+            nonce in (u8::MIN..u8::MAX),
+            sec_level in sec_level_strategy(),
+        ) {
+            let poly_1 = Poly::derive_noise(&seed, nonce, sec_level.eta_1());
+            let poly_2 = Poly::derive_noise(&seed, nonce, sec_level.eta_2());
+        }
+
+        #[test]
+        fn derive_uniform_test(
+            seed in prop::array::uniform32(u8::MIN..u8::MAX),
+            x in (u8::MIN..u8::MAX),
+            y in (u8::MIN..u8::MAX),
+        ) {
+            let poly = Poly::derive_uniform(&seed, x, y).unwrap();
+        }
+    }
+}

src/vectors.rs

@@ -166,7 +166,7 @@ impl PolyVec<Normalised> {
             .into());
         }
 
-        let _ = buf
+        buf
             .chunks_mut(self.sec_level().poly_compressed_bytes())
             .zip(self.polynomials.iter())
             .for_each(|(buf_chunk, poly)| { let _ = poly.compress(buf_chunk, &self.sec_level()); } );