feat(fuzz-testing): fixed so that we don't have to define udf at the …

…top of each property-fuzz files.

lattices/fuzz/Cargo.toml

@@ -5,6 +5,7 @@ version = "0.0.0"
 publish = false
 edition = "2021"
 
+
 [package.metadata]
 cargo-fuzz = true
 

lattices/fuzz/fuzz_targets/associativity_fuzz.rs

@@ -3,16 +3,14 @@
 extern crate libfuzzer_sys;
 use libfuzzer_sys::fuzz_target;
 use lattices::algebra::associativity_single;
-use once_cell::sync::Lazy;
-use lattices_fuzz::algebra_functions::FuzzFunctions;
+
+
+#[macro_use]
+extern crate lattices_fuzz;
 
 type InputType = u8;
-static FUNCTIONS: Lazy<FuzzFunctions<InputType>> = Lazy::new(|| FuzzFunctions::new(
-    |a: u8, b: u8| a ^ b,
-    Some(|a: u8| a),
-    Some(|a: u8, b: u8| a.wrapping_mul(b)),
-));
 
+create_fuzz_functions!(InputType, FUNCTIONS);
 fuzz_target!(|data: &[u8]| {
     if data.len() < 3 {
         println!("Not enough data for associativity test.");

lattices/fuzz/fuzz_targets/commutativity_fuzz.rs

@@ -2,16 +2,15 @@
 
 extern crate libfuzzer_sys;
 use lattices::algebra::commutativity_single;
-use lattices_fuzz::algebra_functions::FuzzFunctions;
 use libfuzzer_sys::fuzz_target;
-use once_cell::sync::Lazy;
+
+
+#[macro_use]
+extern crate lattices_fuzz;
 
 type InputType = u8;
-static FUNCTIONS: Lazy<FuzzFunctions<InputType>> = Lazy::new(|| FuzzFunctions::new(
-    |a: u8, b: u8| a ^ b,
-    Some(|a: u8| a),
-    Some(|a: u8, b: u8| a.wrapping_mul(b)),
-));
+
+create_fuzz_functions!(InputType, FUNCTIONS);
 
 fuzz_target!(|data: &[u8]| {
     if data.len() < 2 {

lattices/fuzz/fuzz_targets/distributivity_fuzz.rs

@@ -2,16 +2,15 @@
 
 extern crate libfuzzer_sys;
 use lattices::algebra::distributive_single;
-use lattices_fuzz::algebra_functions::FuzzFunctions;
 use libfuzzer_sys::fuzz_target;
-use once_cell::sync::Lazy;
+
+
+#[macro_use]
+extern crate lattices_fuzz;
 
 type InputType = u8;
-static FUNCTIONS: Lazy<FuzzFunctions<InputType>> = Lazy::new(|| FuzzFunctions::new(
-    |a: u8, b: u8| a ^ b,
-    Some(|a: u8| a),
-    Some(|a: u8, b: u8| a.wrapping_mul(b)),
-));
+
+create_fuzz_functions!(InputType, FUNCTIONS);
 
 fuzz_target!(|data: &[u8]| {
     if data.len() < 3 {

lattices/fuzz/fuzz_targets/linearity_fuzz.rs

@@ -2,16 +2,15 @@
 
 extern crate libfuzzer_sys;
 use lattices::algebra::linearity_single;
-use lattices_fuzz::algebra_functions::FuzzFunctions;
 use libfuzzer_sys::fuzz_target;
-use once_cell::sync::Lazy;
+
+
+#[macro_use]
+extern crate lattices_fuzz;
 
 type InputType = u8;
-static FUNCTIONS: Lazy<FuzzFunctions<InputType>> = Lazy::new(|| FuzzFunctions::new(
-    |a: u8, b: u8| a ^ b,
-    Some(|a: u8| a),
-    Some(|a: u8, b: u8| a.wrapping_mul(b)),
-));
+
+create_fuzz_functions!(InputType, FUNCTIONS);
 
 fuzz_target!(|data: &[u8]| {
     if data.len() < 2 {
@@ -29,4 +28,3 @@ fuzz_target!(|data: &[u8]| {
         println!("Skipping linearity test because g or q is not available.");
     }
 });
-

lattices/fuzz/fuzz_targets/monotonicity_fuzz.rs

@@ -2,16 +2,15 @@
 
 extern crate libfuzzer_sys;
 use lattices::algebra::is_monotonic_single;
-use lattices_fuzz::algebra_functions::FuzzFunctions;
 use libfuzzer_sys::fuzz_target;
-use once_cell::sync::Lazy;
+
+
+#[macro_use]
+extern crate lattices_fuzz;
 
 type InputType = u8;
-static FUNCTIONS: Lazy<FuzzFunctions<InputType>> = Lazy::new(|| FuzzFunctions::new(
-    |a: u8, b: u8| a ^ b,
-    Some(|a: u8| a),
-    Some(|a: u8, b: u8| a.wrapping_mul(b)),
-));
+
+create_fuzz_functions!(InputType, FUNCTIONS);
 
 fuzz_target!(|data: &[u8]| {
     // Check if there is enough data for the test (at least 2 values are needed)

lattices/fuzz/src/fuzz_functions.rs

@@ -0,0 +1,15 @@
+// fuzz_functions.rs
+
+// use once_cell::sync::Lazy;
+// use crate::algebra_functions::FuzzFunctions;
+
+#[macro_export]
+macro_rules! create_fuzz_functions {
+    ($type:ty, $functions:ident) => {
+        static $functions: once_cell::sync::Lazy<lattices_fuzz::algebra_functions::FuzzFunctions<$type>> = once_cell::sync::Lazy::new(|| lattices_fuzz::algebra_functions::FuzzFunctions::new(
+            |a: $type, b: $type| a ^ b,
+            Some(|a: $type| a),
+            Some(|a: $type, b: $type| a.wrapping_mul(b)),
+        ));
+    };
+}

lattices/fuzz/src/lib.rs

@@ -1 +1,2 @@
-pub mod algebra_functions;
+pub mod algebra_functions;
+pub mod fuzz_functions;

lattices/fuzz/src/main.rs

@@ -7,6 +7,7 @@ fn main() {
         "associativity_fuzz",
         "linearity_fuzz",
         "monotonicity_fuzz",
+        "distributivity_fuzz",
     ];
 
     for fuzz_target in fuzz_targets {
@@ -17,8 +18,8 @@ fn main() {
             .arg("run")
             .arg(fuzz_target)
             .arg("--")
-            .arg("-max_total_time=5") // Run each fuzz target for 5 seconds
-            .current_dir(&manifest_dir) // Set the current working directory
+            .arg("-max_total_time=1") // Run each fuzz target for 5 seconds
+            .current_dir(&manifest_dir)  
             .status()
             .expect("Failed to execute fuzz target");