Merge branch 'main' into noir-runner

Author: Merricx

src/zkregex_fuzzer/cli.py

@@ -55,7 +55,7 @@ def fuzz_parser():
     parser.add_argument(
         "--save",
         choices=[status.name for status in HarnessStatus],
-        nargs="*",
+        nargs="+",
         help="Save reproducible files according to the specified Harness status",
     )
     parser.add_argument(
@@ -100,6 +100,7 @@ def fuzz_parser():
         type=str,
         help="Path to the ptau (powers-of-tau) file for the proving step"
     )
+<<<<<<< HEAD
 
     parser.add_argument(
         "--noir-prove",
@@ -113,13 +114,16 @@ def fuzz_parser():
         default="INFO",
         help="Set the logger level (default: INFO)."
     )
+=======
+>>>>>>> main
 
 
     return parser
 
 def reproduce_parser():
     parser = argparse.ArgumentParser(
         add_help=False
+<<<<<<< HEAD
     )
 
     parser.add_argument(
@@ -136,6 +140,18 @@ def reproduce_parser():
         help="Set the logger level (default: INFO)."
     )
 
+=======
+    )
+
+    parser.add_argument(
+        "--path",
+        nargs="+",
+        type=str,
+        help="Path to the target directory output that want to be reproduced (support wildcard pattern).",
+        required=True
+    )
+
+>>>>>>> main
     return parser
 
 def do_fuzz(args):
@@ -211,7 +227,13 @@ def do_fuzz(args):
     kwargs = vars(args)
 
     # set global seed
+<<<<<<< HEAD
     random.seed(args.seed)
+=======
+    seed = str(uuid.uuid4())
+    kwargs['seed'] = seed
+    random.seed(seed)
+>>>>>>> main
 
     if args.fuzzer == "grammar":
         fuzz_with_grammar(
@@ -238,11 +260,24 @@ def do_reproduce(args):
 def main():
 
     parser = argparse.ArgumentParser()
+<<<<<<< HEAD
+=======
+    parser.add_argument(
+        "--logger-level",
+        choices=["DEBUG", "INFO", "WARNING", "ERROR", "CRITICAL"],
+        default="INFO",
+        help="Set the logger level (default: INFO)."
+    )
+>>>>>>> main
 
     subparser = parser.add_subparsers(dest="subcommand")
     subparser.add_parser(
         "fuzz",
+<<<<<<< HEAD
         help="Generate fuzzed regexes using The Fuzzing Book's GrammarFuzzer.", 
+=======
+        help="Fuzz the target regex implementation.", 
+>>>>>>> main
         parents=[fuzz_parser()]
     )
     subparser.add_parser(

src/zkregex_fuzzer/runner/base_runner.py

@@ -50,12 +50,14 @@ def match(self, input: str) -> tuple[bool, str]:
         """
         pass
 
+    @abstractmethod
     def clean(self) -> None:
         """
         Clean any produced temporary files.
         """
         pass
 
+    @abstractmethod
     def save(self, path: str) -> str:
         """
         Save any produced temporary files.

src/zkregex_fuzzer/runner/python.py

@@ -34,4 +34,10 @@ def match(self, input: str) -> tuple[bool, str]:
             str_result = match_input[0] if match_success else ""
             return (match_success, str_result)
         except re.error as e:
-            raise RegexRunError(f"Error matching regex: {e}")
+            raise RegexRunError(f"Error matching regex: {e}")
+        
+    def save(self, path: str) -> str:
+        return ""
+    
+    def clean(self) -> None:
+        return None