certora-cli-alpha-master 20250520.9.17.661352__tar.gz → 20250520.14.8.671244__tar.gz

{certora_cli_alpha_master-20250520.9.17.661352/certora_cli_alpha_master.egg-info → certora_cli_alpha_master-20250520.14.8.671244}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250520.9.17.661352
+Version: 20250520.14.8.671244
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 76c1dc2.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit de30418.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250520.14.8.671244/README.md

@@ -0,0 +1 @@
+Commit de30418.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250520.9.17.661352 → certora_cli_alpha_master-20250520.14.8.671244}/certora_cli/CertoraProver/certoraContextAttributes.py

@@ -1146,6 +1146,21 @@ class EvmAttributes(AttrUtil.Attributes):
         disables_build_cache=False,
     )
 
+    MAX_CONCURRENT_RULES = AttrUtil.AttributeDefinition(
+        attr_validation_func=Vf.validate_non_negative_integer,
+        argparse_args={
+            'action': AttrUtil.UniqueStore
+        },
+        help_msg="Set the maximum number of parallel rule evaluations. "
+                 "Lower values (e.g., 1, 2, or 4) may reduce memory usage in large runs. "
+                 "This can sometimes help to mitigate out of memory problems.",
+        default_desc="Number of available CPU cores.",
+        temporary_jar_invocation_allowed=True,
+        jar_flag="-maxConcurrentRules",
+        affects_build_cache_key=False,
+        disables_build_cache=False,
+    )
+
     @classmethod
     def hide_attributes(cls) -> List[str]:
         # do not show these attributes in the help message

{certora_cli_alpha_master-20250520.9.17.661352 → certora_cli_alpha_master-20250520.14.8.671244/certora_cli_alpha_master.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250520.9.17.661352
+Version: 20250520.14.8.671244
 Summary: Runner for the Certora Prover
 Home-page: https://pypi.org/project/certora-cli-alpha-master
 Author: Certora
@@ -37,4 +37,4 @@ Dynamic: requires-dist
 Dynamic: requires-python
 Dynamic: summary
 
-Commit 76c1dc2.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit de30418.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250520.14.8.671244/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -0,0 +1 @@
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "de30418", "timestamp": "20250520.14.8.671244", "version": "20250520.14.8.671244+de30418"}

{certora_cli_alpha_master-20250520.9.17.661352 → certora_cli_alpha_master-20250520.14.8.671244}/setup.py

@@ -3,11 +3,11 @@ import setuptools
 
 setuptools.setup(
     name="certora-cli-alpha-master",
-    version="20250520.9.17.661352",
+    version="20250520.14.8.671244",
     author="Certora",
     author_email="support@certora.com",
     description="Runner for the Certora Prover",
-    long_description="Commit 76c1dc2.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
+    long_description="Commit de30418.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.",
     long_description_content_type="text/markdown",
     url="https://pypi.org/project/certora-cli-alpha-master",
     packages=setuptools.find_packages(),

certora_cli_alpha_master-20250520.9.17.661352/README.md

@@ -1 +0,0 @@
-Commit 76c1dc2.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

certora_cli_alpha_master-20250520.9.17.661352/certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +0,0 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "76c1dc2", "timestamp": "20250520.9.17.661352", "version": "20250520.9.17.661352+76c1dc2"}