certora-cli-alpha-master 20241218.18.41.295142__py3-none-macosx_10_9_universal2.whl → 20241219.2.15.305705__py3-none-macosx_10_9_universal2.whl

certora_cli/rustMutator.py

@@ -1,5 +1,6 @@
 #!/usr/bin/env python3
 
+import atexit
 import shutil
 import subprocess
 import argparse
@@ -31,7 +32,7 @@ def parse_args() -> argparse.Namespace:
         )
     )
     parser.add_argument(
-        "--file_to_mutant",
+        "--file_to_mutate",
         "-f",
         type=Path,
         required=True,
@@ -74,27 +75,12 @@ def parse_args() -> argparse.Namespace:
     return parser.parse_args()
 
 
-def restore_source(backup_file: Path, file_to_mutant: Path) -> None:
-    """
-    Restore the original source file from the backup.
-
-    Args:
-        backup_file (Path): Path to the backup file.
-        file_to_mutant (Path): Path to the original source file.
-    """
-    rust_mutator_logger.info(f"Restoring the original '{file_to_mutant}' from '{backup_file}'...")
-    if Util.restore_backup(backup_file):
-        rust_mutator_logger.info(f"Original '{file_to_mutant}' restored successfully.")
-    else:
-        rust_mutator_logger.warning(f"No backup file '{backup_file}' found. Skipping restoration.")
-
-
-def clean_temp_files(file_to_mutant: Path) -> None:
+def clean_temp_files(file_to_mutate: Path) -> None:
     """
     Remove temporary mutant output files matching the pattern '.um.mutant_output.*'.
 
     Args:
-        file_to_mutant (Path): Path to the original source file.
+        file_to_mutate (Path): Path to the original source file.
     """
     temp_files = Path().rglob(".um.mutant_output.*")
 
@@ -103,7 +89,7 @@ def clean_temp_files(file_to_mutant: Path) -> None:
         temp_file.unlink()
         rust_mutator_logger.info(f"Removed: {temp_file}")
 
-    backup_file = next(Path().rglob(f"{file_to_mutant}.um.backup.*"), None)
+    backup_file = next(Path().rglob(f"{file_to_mutate}.um.backup.*"), None)
     if backup_file:
         backup_file.unlink()
         rust_mutator_logger.info(f"Removed: {backup_file}")
@@ -148,22 +134,22 @@ def uniform_selection(mutants: List[Path], num_select: int, seed: int) -> List[P
     return shuffled_mutants[:num_select]
 
 
-def validate_source_file(file_to_mutant: Path) -> None:
+def validate_source_file(file_to_mutate: Path) -> None:
     """
     Validate that the source file exists and has a .rs extension.
 
     Args:
-        file_to_mutant (Path): Path to the Rust source file.
+        file_to_mutate (Path): Path to the Rust source file.
 
     Raises:
         Util.CertoraUserInputError: If validation fails.
     """
-    if not file_to_mutant.exists():
-        raise Util.CertoraUserInputError(f"Source file '{file_to_mutant}' does not exist.")
-    if not file_to_mutant.is_file():
-        raise Util.CertoraUserInputError(f"Source file '{file_to_mutant}' is not a file.")
-    if file_to_mutant.suffix != ".rs":
-        raise Util.CertoraUserInputError(f"Source file '{file_to_mutant}' does not have a .rs extension.")
+    if not file_to_mutate.exists():
+        raise Util.CertoraUserInputError(f"Source file '{file_to_mutate}' does not exist.")
+    if not file_to_mutate.is_file():
+        raise Util.CertoraUserInputError(f"Source file '{file_to_mutate}' is not a file.")
+    if file_to_mutate.suffix != ".rs":
+        raise Util.CertoraUserInputError(f"Source file '{file_to_mutate}' does not have a .rs extension.")
 
 
 def validate_mutant_dir(mutants_location: Path) -> None:
@@ -186,13 +172,13 @@ def validate_mutant_dir(mutants_location: Path) -> None:
         rust_mutator_logger.info(f"Mutant directory '{mutants_location}' created successfully.")
 
 
-def validate_mutant_count(file_to_mutant: Path, mutants_location: Path, num_mutants: int, seed: int) -> None:
+def validate_mutant_count(file_to_mutate: Path, mutants_location: Path, num_mutants: int, seed: int) -> None:
     """
     Validate the number of mutants generated is less than or equal to the specified limit. If the number of mutants
     exceeds the limit, select uniformly based on the seed and delete the rest.
 
     Args:
-        file_to_mutant (Path): Path to the original Rust source file.
+        file_to_mutate (Path): Path to the original Rust source file.
         mutants_location (Path): Directory containing generated mutants.
         num_mutants (int): Upper bound on the number of mutants to generate.
         seed (int, optional): Seed value for random selection.
@@ -201,7 +187,7 @@ def validate_mutant_count(file_to_mutant: Path, mutants_location: Path, num_muta
         Util.CertoraUserInputError: If no mutants are generated.
     """
     # Define the regex pattern to extract the mutant number
-    pattern = re.compile(rf"{re.escape(file_to_mutant.stem)}\.mutant\.(\d+)\.rs$")
+    pattern = re.compile(rf"{re.escape(file_to_mutate.stem)}\.mutant\.(\d+)\.rs$")
 
     # Gather all mutants matching the pattern
     mutants = [mutant for mutant in mutants_location.iterdir() if pattern.match(mutant.name)]
@@ -233,7 +219,7 @@ def validate_mutant_count(file_to_mutant: Path, mutants_location: Path, num_muta
     for mutant, mutant_number in numbered_mutants:
         if not 0 <= mutant_number < num_mutants:
             for i in range(num_mutants):
-                new_file_name = mutant.with_name(f"{file_to_mutant.stem}.mutant.{i}.rs")
+                new_file_name = mutant.with_name(f"{file_to_mutate.stem}.mutant.{i}.rs")
                 if new_file_name.exists():
                     continue
                 mutant.rename(new_file_name)
@@ -251,12 +237,12 @@ def validate_mutate_command() -> None:
         raise Util.CertoraUserInputError("universalmutator command 'mutate' not found in PATH.")
 
 
-def run_mutate(file_to_mutant: Path, mutants_location: Path, build_command: str) -> None:
+def run_mutate(file_to_mutate: Path, mutants_location: Path, build_command: str) -> None:
     """
     Execute the universalmutator command to generate mutants, displaying a progress bar.
 
     Args:
-        file_to_mutant (Path): Path to the Rust source file.
+        file_to_mutate (Path): Path to the Rust source file.
         mutants_location (Path): Directory to store generated mutants.
         build_command (str): Command to execute for each mutant to verify compilation.
 
@@ -265,7 +251,7 @@ def run_mutate(file_to_mutant: Path, mutants_location: Path, build_command: str)
     """
     mutate_command = [
         "mutate",
-        str(file_to_mutant),
+        str(file_to_mutate),
         "rust",
         "--mutantDir",
         str(mutants_location),
@@ -287,7 +273,7 @@ def run_mutate(file_to_mutant: Path, mutants_location: Path, build_command: str)
     total_mutants = None
     mutant_pattern = re.compile(r"^PROCESSING MUTANT: (\d+):")
     total_pattern = re.compile(r"^(\d+) MUTANTS GENERATED BY RULES")
-    valid_mutant_pattern = re.compile(rf"VALID \[written to {mutants_location.stem}/{file_to_mutant.stem}\.mutant\.\d+\.rs\]")
+    valid_mutant_pattern = re.compile(rf"VALID \[written to {mutants_location.stem}/{file_to_mutate.stem}\.mutant\.\d+\.rs\]")
 
     progress_bar = None
 
@@ -306,7 +292,7 @@ def run_mutate(file_to_mutant: Path, mutants_location: Path, build_command: str)
                 if total_match:
                     total_mutants = int(total_match.group(1))
                     progress_bar = tqdm(total=total_mutants, desc="Mutants Generated", unit="mutant")
-                    rust_mutator_logger.info(f"Total mutants to generate: {total_mutants}")
+                    rust_mutator_logger.info(f"Total mutants generated: {total_mutants}")
                     continue
 
             # Update progress bar for each processed mutant
@@ -340,7 +326,7 @@ def run_mutate(file_to_mutant: Path, mutants_location: Path, build_command: str)
             process.terminate()
 
 def run_universal_mutator(
-        file_to_mutant: Path,
+        file_to_mutate: Path,
         build_script: str,
         mutants_location: Path,
         num_mutants: int = NUM_MUTANTS,
@@ -351,7 +337,7 @@ def run_universal_mutator(
     Generate mutants for the specified source file and ensure the original file remains unchanged.
 
     Args:
-        file_to_mutant (Path): Path to the Rust source file.
+        file_to_mutate (Path): Path to the Rust source file.
         build_script (str): Command to execute for each mutant to verify compilation.
         mutants_location (Path): Directory to store generated mutants.
         num_mutants (int): Upper bound on the number of mutants to generate (default: {NUM_MUTANTS}).
@@ -365,7 +351,10 @@ def run_universal_mutator(
     backup_file = None
     build_command = f"cp MUTATE & python3 {build_script}"
 
+    atexit.register(clean_temp_files, file_to_mutate)
+
     try:
+
         # Set up the logger
         setup_logger(debug)
 
@@ -373,38 +362,37 @@ def run_universal_mutator(
         validate_mutate_command()
 
         # Validate source file
-        validate_source_file(file_to_mutant)
+        validate_source_file(file_to_mutate)
 
         # Backup the original source file
-        rust_mutator_logger.info(f"Backing up '{file_to_mutant}' ...")
-        backup_file = Util.create_backup(file_to_mutant)
+        rust_mutator_logger.info(f"Backing up '{file_to_mutate}' ...")
+        backup_file = Util.create_backup(file_to_mutate)
+
         if backup_file:
-            rust_mutator_logger.info(f"Backing up '{file_to_mutant}' to '{backup_file} succeeded")
+            atexit.register(Util.restore_backup, backup_file)
+            rust_mutator_logger.info(f"Backing up '{file_to_mutate}' to '{backup_file} succeeded")
         else:
-            rust_mutator_logger.warning(f"Backing up '{file_to_mutant}' to '{backup_file} failed")
+            rust_mutator_logger.warning(f"Backing up '{file_to_mutate}' to '{backup_file} failed")
 
         # Validate or create mutant directory
         validate_mutant_dir(mutants_location)
 
         # Run the mutation command
-        run_mutate(file_to_mutant, mutants_location, build_command)
+        run_mutate(file_to_mutate, mutants_location, build_command)
 
         # Make sure the number of mutants generated is less than or equal to the specified limit
-        validate_mutant_count(file_to_mutant, mutants_location, num_mutants, seed)
-
+        validate_mutant_count(file_to_mutate, mutants_location, num_mutants, seed)
     finally:
-        # Restore the original source file
         if backup_file:
             Util.restore_backup(backup_file)
-        # Clean up temporary files
-        clean_temp_files(file_to_mutant)
+        clean_temp_files(file_to_mutate)
 
 
 if __name__ == "__main__":
     # Parse command-line arguments
     args = parse_args()
     run_universal_mutator(
-        args.file_to_mutant,
+        args.file_to_mutate,
         args.build_script,
         args.mutants_location,
         args.num_mutants,

{certora_cli_alpha_master-20241218.18.41.295142.dist-info → certora_cli_alpha_master-20241219.2.15.305705.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241218.18.41.295142
+Version: 20241219.2.15.305705
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -23,4 +23,4 @@ Requires-Dist: StrEnum
 Requires-Dist: tomli
 Requires-Dist: universalmutator
 
-Commit 1731e84.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 2b6a3e9.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20241218.18.41.295142.dist-info → certora_cli_alpha_master-20241219.2.15.305705.dist-info}/RECORD

@@ -5,7 +5,7 @@ certora_cli/certoraEqCheck.py,sha256=5LtN9GNBSYR_kYghDBeNNL4yWshPw9PNpe0stLtuIxQ
 certora_cli/certoraMutate.py,sha256=BUK_keaunrcCYgLiwHfIkDSjIHM_KoGwwnIiuojc-ug,2643
 certora_cli/certoraRun.py,sha256=rnczNnSoYRuUKOkIN7_0cRxjiVDK0x4NJxOT4KNkYdg,11884
 certora_cli/certoraSolanaProver.py,sha256=3Vb05zd5PqkU5CmCNzYvmYfbC-hsmU6Tt390msjQlOc,5898
-certora_cli/rustMutator.py,sha256=wSE_4qDegDhItxHw7dtcFzDMgYCTsVxW4yFGxYRHlQc,14418
+certora_cli/rustMutator.py,sha256=ezpwwzr-OCK78PsBPVf5fC__GWaESvIbaAI7yjJ8Hs0,13862
 certora_cli/EVMVerifier/__init__.py,sha256=AJxj90KAGh1JqAsxKqDBTL2rFbqgtkhDfW_XmxSHft0,159
 certora_cli/EVMVerifier/certoraBuild.py,sha256=TqPfOSjcuY0zWJYTx1d401zJdIbnLyECa9T5koXRKzM,203842
 certora_cli/EVMVerifier/certoraBuildCacheManager.py,sha256=ZSVCsdTkFFtawuNJ8VK3wJOb01Uyu5e8viPQ8wTziSQ,12563
@@ -54,12 +54,12 @@ certora_cli/Shared/certoraAttrUtil.py,sha256=IbIIvTbtPzmPSSrK7VIWZNitkz1iwvW_e0g
 certora_cli/Shared/certoraLogging.py,sha256=5Lx-XWKl7GnwnWi7KlwTLIfsEvUvCTZ8KeyfNyi_6RU,13323
 certora_cli/Shared/certoraUtils.py,sha256=8EGXrxfIxu34VTx46QeTx6tTYLdwpTLT9ulVQijmD9Y,53624
 certora_cli/Shared/certoraValidateFuncs.py,sha256=OOjPAkcfrURZDD4oDjOMBFTvY6wwQSXboXzu-47AUbY,36871
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=DrrqXNEBJJa8U1U9k16qWHnJMAZV0a0hx4JWZKxAu8w,170
-certora_jars/Typechecker.jar,sha256=Nbdtgt77N04vGuYGxoaW-QSO-ih0BQt3JRY0_WRbqKM,16754390
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=gP6anWYKHdPDbrP814Uu2PErb4SX2QzMt60JHE6Rm_Q,168
+certora_jars/Typechecker.jar,sha256=N496KbB3IKV8AXUPhQrcch3v316bHnAQdpb7JLjjm6g,16755362
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20241218.18.41.295142.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
-certora_cli_alpha_master-20241218.18.41.295142.dist-info/METADATA,sha256=YYn3btj02cVMOLsVZuqWpb9vdnlbflzBaG-OQ_bMkyE,838
-certora_cli_alpha_master-20241218.18.41.295142.dist-info/WHEEL,sha256=N3Zagyg8u7FcZiPCx4UnuNyRRYq7IQpu24eWYyuhGOQ,110
-certora_cli_alpha_master-20241218.18.41.295142.dist-info/entry_points.txt,sha256=Y90wInBDlKPSU3YnuTn3JqAsSgPRTDHc8lf6BfKILjY,261
-certora_cli_alpha_master-20241218.18.41.295142.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20241218.18.41.295142.dist-info/RECORD,,
+certora_cli_alpha_master-20241219.2.15.305705.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
+certora_cli_alpha_master-20241219.2.15.305705.dist-info/METADATA,sha256=tqMEjgF-IkX9nSa7A0KKgDXtNpYSeVnc_0gXdDLLg1E,837
+certora_cli_alpha_master-20241219.2.15.305705.dist-info/WHEEL,sha256=N3Zagyg8u7FcZiPCx4UnuNyRRYq7IQpu24eWYyuhGOQ,110
+certora_cli_alpha_master-20241219.2.15.305705.dist-info/entry_points.txt,sha256=Y90wInBDlKPSU3YnuTn3JqAsSgPRTDHc8lf6BfKILjY,261
+certora_cli_alpha_master-20241219.2.15.305705.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20241219.2.15.305705.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "1731e84", "timestamp": "20241218.18.41.295142", "version": "20241218.18.41.295142+1731e84"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "2b6a3e9", "timestamp": "20241219.2.15.305705", "version": "20241219.2.15.305705+2b6a3e9"}