certora-cli-alpha-master 20250526.12.4.11266__py3-none-any.whl → 20250527.16.20.904978__py3-none-any.whl

certora_cli/Mutate/mutateApp.py

@@ -1387,6 +1387,8 @@ class MutateApp:
             args = ["--compilation_steps_only"]
             if self.prover_version:
                 args += ['--prover_version', self.prover_version]
+            if self.server:
+                args += ['--server', self.server]
             run_certora([str(self.conf)] + args)
         except CertoraFoundViolations:  # violations should not stop execution
             pass
@@ -1898,7 +1900,7 @@ class MutateApp:
             common_flags.extend(['--optimize'])
 
         if hasattr(self.prover_context, MConstants.SOLC_ALLOW_PATH):
-            common_flags.extend([f'--allow-paths, {self.prover_context.solc_allow_path}'])
+            common_flags.extend(['--allow-paths', '/'])
 
         if hasattr(self.prover_context, MConstants.SOLC_EVM_VERSION):
             common_flags.extend(['--evm-version', self.prover_context.solc_evm_version])

{certora_cli_alpha_master-20250526.12.4.11266.dist-info → certora_cli_alpha_master-20250527.16.20.904978.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.2
 Name: certora-cli-alpha-master
-Version: 20250526.12.4.11266
+Version: 20250527.16.20.904978
 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 fb0ab44.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit e5d83d6.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20250526.12.4.11266.dist-info → certora_cli_alpha_master-20250527.16.20.904978.dist-info}/RECORD

@@ -51,7 +51,7 @@ certora_cli/EquivalenceCheck/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NM
 certora_cli/EquivalenceCheck/equivCheck.py,sha256=D3TA1DRppaXpEcVW_smqMQzeUle0jPu0wIXXEd5un0U,20620
 certora_cli/EquivalenceCheck/sanity.spec,sha256=tWmE9z2Sq3_SWaqKDRQaNajRrw94maUrirvoUmX89LE,103
 certora_cli/Mutate/__init__.py,sha256=QHNr-PJQAoyuPgTkO7gg23GRchiWSXglWNG7yLSQZvs,849
-certora_cli/Mutate/mutateApp.py,sha256=bLBZeaVdK3kQ8u96wMoxNJhSKiQhRAlcv775QVKGMwU,87844
+certora_cli/Mutate/mutateApp.py,sha256=vLLTokkVs-dSyOPSymMZRGj_MmVxwdogTJgS_8LqPXI,87887
 certora_cli/Mutate/mutateAttributes.py,sha256=brsoisPowxpxQxN_-y0NDvsv8feoHONhtlOayXaLDdk,10092
 certora_cli/Mutate/mutateConstants.py,sha256=LRrz3wMM8WpPYSshkc-PLYqT0nexcWQeBNsehip-LOE,3945
 certora_cli/Mutate/mutateUtil.py,sha256=B7MCIFtZBetjR4MMxU6F5ikYsaot1wTG7XYMjgVXl4k,2287
@@ -64,12 +64,12 @@ certora_cli/Shared/certoraUtils.py,sha256=fWb0-zZMCT_lRvhaPhf8GeXUySW6I0enChv1aO
 certora_cli/Shared/certoraValidateFuncs.py,sha256=WG4UiyES8u49o3XmuRIvNf79rcpWFuCKtV__QUptOEQ,41852
 certora_cli/Shared/proverCommon.py,sha256=-Lw6_zEIlPA7i_n6xOUsmJeUKjqYWAnGW9GKWBB_GC0,11171
 certora_cli/Shared/rustProverCommon.py,sha256=NIZ5ECbhuiMegyRAl07CV3r68MFG2tBNKgUAQoV4uLI,2049
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=Z5fTvHoKmZzYhjb3QApl0TWAxkJtDRGcotEdLTpIZgI,168
-certora_jars/Typechecker.jar,sha256=YmHkpQvlOMlyWMVGwrG1zP2g54WRTVwCFhPOvtxnEvM,17137905
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=yUxVpw-ynTWVGb8QNqQL4wcjY1EouWhbd1EiKkpHErk,170
+certora_jars/Typechecker.jar,sha256=uA4lZXM-44kqdILvSF3j-cw_EFlA-B1Yb8Sfotq-qik,17137905
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20250526.12.4.11266.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
-certora_cli_alpha_master-20250526.12.4.11266.dist-info/METADATA,sha256=vAkoH7AfEB2W8grElDQcfbm3Y3G0LXK7MHiFpA-Fmis,1246
-certora_cli_alpha_master-20250526.12.4.11266.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
-certora_cli_alpha_master-20250526.12.4.11266.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
-certora_cli_alpha_master-20250526.12.4.11266.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20250526.12.4.11266.dist-info/RECORD,,
+certora_cli_alpha_master-20250527.16.20.904978.dist-info/LICENSE,sha256=UGKSKIJSetF8m906JLKqNLkUS2CL60XfQdNvxBvpQXo,620
+certora_cli_alpha_master-20250527.16.20.904978.dist-info/METADATA,sha256=mIQxq4iLS2l-daoygMG_3B52NJf9C_ml9uTtxFuRi5A,1248
+certora_cli_alpha_master-20250527.16.20.904978.dist-info/WHEEL,sha256=jB7zZ3N9hIM9adW7qlTAyycLYW9npaWKLRzaoVcLKcM,91
+certora_cli_alpha_master-20250527.16.20.904978.dist-info/entry_points.txt,sha256=_SQ5_uYOAJXtqEW992nIvq7blW9cWFSUVEdbMGuy--4,443
+certora_cli_alpha_master-20250527.16.20.904978.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20250527.16.20.904978.dist-info/RECORD,,

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "fb0ab44", "timestamp": "20250526.12.4.011266", "version": "20250526.12.4.011266+fb0ab44"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "e5d83d6", "timestamp": "20250527.16.20.904978", "version": "20250527.16.20.904978+e5d83d6"}