certora-cli-alpha-master 20241224.8.22.2441__py3-none-macosx_10_9_universal2.whl → 20241224.12.18.798750__py3-none-macosx_10_9_universal2.whl

certora_cli/certoraEVMProver.py

@@ -1,6 +1,11 @@
 #!/usr/bin/env python3
 
 import sys
+from pathlib import Path
+
+scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
+sys.path.insert(0, str(scripts_dir_path))
+
 import EVMVerifier.certoraContextAttributes as Attrs
 from certoraRun import run_certora, CertoraRunResult
 from typing import List, Optional
@@ -9,6 +14,8 @@ from typing import List, Optional
 def run_evm_prover(args: List[str]) -> Optional[CertoraRunResult]:
     return run_certora(args, Attrs.EvmProverAttributes)
 
+def entry_point() -> None:
+    run_evm_prover(sys.argv[1:])
 
 if __name__ == '__main__':
-    run_evm_prover(sys.argv[1:])
+    entry_point()

certora_cli/certoraSorobanProver.py

@@ -1,6 +1,11 @@
 #!/usr/bin/env python3
 
 import sys
+from pathlib import Path
+
+scripts_dir_path = Path(__file__).parent.resolve()  # containing directory
+sys.path.insert(0, str(scripts_dir_path))
+
 import EVMVerifier.certoraContextAttributes as Attrs
 from certoraRun import run_certora, CertoraRunResult
 from typing import List, Optional
@@ -9,6 +14,8 @@ from typing import List, Optional
 def run_soroban_prover(args: List[str]) -> Optional[CertoraRunResult]:
     return run_certora(args, Attrs.SorobanProverAttributes)
 
+def entry_point() -> None:
+    run_soroban_prover(sys.argv[1:])
 
 if __name__ == '__main__':
-    run_soroban_prover(sys.argv[1:])
+    entry_point()

{certora_cli_alpha_master-20241224.8.22.2441.dist-info → certora_cli_alpha_master-20241224.12.18.798750.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: certora-cli-alpha-master
-Version: 20241224.8.22.2441
+Version: 20241224.12.18.798750
 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 3b88808.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
+Commit 103751c.                    Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

{certora_cli_alpha_master-20241224.8.22.2441.dist-info → certora_cli_alpha_master-20241224.12.18.798750.dist-info}/RECORD

@@ -1,12 +1,12 @@
 certora_bins/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 certora_bins/gambit,sha256=mEtRHvYfT6ShKzPHpLNwqAhDfTwRjoj3wRwGYYkRxUs,3820384
 certora_cli/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli/certoraEVMProver.py,sha256=Qo33HMBWytyAotk714xzK5Xbiqgeprn86nuRDSNZr7U,362
+certora_cli/certoraEVMProver.py,sha256=5bYkU_ap4tBJhnDLJuwWndJyxzOrXpbmaTBELm1mthI,551
 certora_cli/certoraEqCheck.py,sha256=5LtN9GNBSYR_kYghDBeNNL4yWshPw9PNpe0stLtuIxQ,379
 certora_cli/certoraMutate.py,sha256=BUK_keaunrcCYgLiwHfIkDSjIHM_KoGwwnIiuojc-ug,2643
 certora_cli/certoraRun.py,sha256=8LIFACWqme6eCTwxhoQ_0UtdUo85yu1b38soez5NdWg,11936
 certora_cli/certoraSolanaProver.py,sha256=LEfKpfef0l91mqIQxSzCXtzE8oxZQek-ILcI02fj2Mc,5830
-certora_cli/certoraSorobanProver.py,sha256=wRLL6TpbBGZeyDIEtvzSNjmpKyc4U657S7b6agULf-8,374
+certora_cli/certoraSorobanProver.py,sha256=L7mwsHZUxdZMW20_HfPgJeDHZAwIO2Bm2oHl_Nnn1xs,563
 certora_cli/rustMutator.py,sha256=ezpwwzr-OCK78PsBPVf5fC__GWaESvIbaAI7yjJ8Hs0,13862
 certora_cli/EVMVerifier/__init__.py,sha256=AJxj90KAGh1JqAsxKqDBTL2rFbqgtkhDfW_XmxSHft0,159
 certora_cli/EVMVerifier/certoraBuild.py,sha256=SNpafLfTRInMrns6OuI9WUrJXP7Yt4Fv53pUnpI_j60,203520
@@ -57,12 +57,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=WmVX8Hz5wMZ7WI2JhYavAilH1kO3fwKLUBsf4hQ4b-o,53676
 certora_cli/Shared/certoraValidateFuncs.py,sha256=OOjPAkcfrURZDD4oDjOMBFTvY6wwQSXboXzu-47AUbY,36871
-certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=bceE2bBvcR2TfyvdgCk30NCx2zzg8mEURIK6DmUQs2Y,168
-certora_jars/Typechecker.jar,sha256=heVzhUhKLirND5HqM33dwC26379VccqtS-GBTq2mFXE,16812998
+certora_jars/CERTORA-CLI-VERSION-METADATA.json,sha256=BnHzvK6Yyd1TZ62oO5uruwKtQlJIVM9ZbAt68312VhU,170
+certora_jars/Typechecker.jar,sha256=e3s2OgaYwrB_DTA1S4TGL7cTZGFHn6xTDbeWcLN7vs4,16812998
 certora_jars/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-certora_cli_alpha_master-20241224.8.22.2441.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
-certora_cli_alpha_master-20241224.8.22.2441.dist-info/METADATA,sha256=ld0vMfydfmB16_l5Ft6o1duS4dsquiQ1pf3EV24sJ9M,835
-certora_cli_alpha_master-20241224.8.22.2441.dist-info/WHEEL,sha256=N3Zagyg8u7FcZiPCx4UnuNyRRYq7IQpu24eWYyuhGOQ,110
-certora_cli_alpha_master-20241224.8.22.2441.dist-info/entry_points.txt,sha256=eRUXVz-5HRUeNAVnMPqnWc0zGvYox-9Um8o_TuR1In4,401
-certora_cli_alpha_master-20241224.8.22.2441.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
-certora_cli_alpha_master-20241224.8.22.2441.dist-info/RECORD,,
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/LICENSE,sha256=VeEBJLgfzZqyAUfjLoKUztf7KJBBUjtZ1ap99eQubOo,1065
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/METADATA,sha256=G8flJ2P6h6_gu_qg044GmsZFYNaZqMKuWnKin8RvWJo,838
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/WHEEL,sha256=N3Zagyg8u7FcZiPCx4UnuNyRRYq7IQpu24eWYyuhGOQ,110
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/entry_points.txt,sha256=x2dyit80wAtF72k5CQj9F5lnWZEmP9ioseqvrEGWyFc,389
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/top_level.txt,sha256=8C77w3JLanY0-NW45vpJsjRssyCqVP-qmPiN9FjWiX4,38
+certora_cli_alpha_master-20241224.12.18.798750.dist-info/RECORD,,

{certora_cli_alpha_master-20241224.8.22.2441.dist-info → certora_cli_alpha_master-20241224.12.18.798750.dist-info}/entry_points.txt

@@ -1,5 +1,5 @@
 [console_scripts]
-certoraEVMProver = certora_cli.EVMVerifier.certoraEVMProver:entry_point
+certoraEVMProver = certora_cli.certoraEVMProver:entry_point
 certoraEqCheck = certora_cli.certoraEqCheck:equiv_check_entry_point
 certoraMutate = certora_cli.certoraMutate:mutate_entry_point
 certoraRun = certora_cli.certoraRun:entry_point

certora_jars/CERTORA-CLI-VERSION-METADATA.json

@@ -1 +1 @@
-{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "3b88808", "timestamp": "20241224.8.22.002441", "version": "20241224.8.22.002441+3b88808"}
+{"name": "certora-cli-alpha-master", "tag": "", "branch": "master", "commit": "103751c", "timestamp": "20241224.12.18.798750", "version": "20241224.12.18.798750+103751c"}