Merge pull request #24 from Certora/7_31_0_release

7.31.0 Release

ab16d9d8737f066e20ad962e4b17c9da921652e0

Author: yoav-el-certora

.circleci/config.yml

@@ -15,6 +15,11 @@ parameters:
   release_prod_version:
     default: false
     type: boolean
+    description: "Whether to release the production version of certora-cli"
+  release_tag_name:
+    default: ""
+    type: string
+    description: "The tag name to use for the release"
 
 commands:
   proper_checkout:
@@ -156,11 +161,14 @@ commands:
             cd publish
             python3 ../scripts/certora_cli_publish.py
       - run:
-          name: Test the just now released version
+          name: Test pypi package
           command: |
             cd publish
-            chmod +x test.sh
-            ./test.sh
+            PACKAGE_NAME=$(cat PACKAGE.txt)
+            PACKAGE_VERSION=$(cat VERSION.txt | sed 's/\+.*//')
+            echo "Testing package $PACKAGE_NAME with version $PACKAGE_VERSION"
+            ../scripts/certora_cli_pypi_test.sh "$PACKAGE_NAME" "$PACKAGE_VERSION"
+
 
 jobs:
   build:
@@ -417,6 +425,24 @@ jobs:
       - attach_workspace:
           at: ~/
       - release_certora_cli
+  
+  release_production_with_api:
+    parameters:
+      tag_name:
+        type: string
+        description: the tag name to trigger the workflow with
+    docker:
+      - image: cimg/base:current
+    resource_class: small
+    working_directory: ~/repo/
+    steps:
+      - run:
+          name: Trigger workflow
+          command: |
+            curl --request POST --url https://circleci.com/api/v2/project/gh/Certora/CertoraProver/pipeline \
+            --header "Circle-Token: $CIRCLE_TOKEN" \
+            --header "content-type: application/json" \
+            --data '{"tag":"<< parameters.tag_name >>", "parameters": {"release_prod_version": true}}'
 
 workflows:
   prover-sanity:
@@ -537,4 +563,14 @@ workflows:
               only: *semver
             branches:
               ignore:
-                - *all
+                - *all
+
+  release_prod_with_ui:
+      when: 
+        and: 
+          - << pipeline.parameters.release_prod_version >> 
+          - << pipeline.parameters.release_tag_name >>
+      jobs:
+        - release_production_with_api:
+            context: opscertora
+            tag_name: << pipeline.parameters.release_tag_name >>

.vscode/settings.json

@@ -10,6 +10,7 @@
         "master"
     ],
     "python.analysis.extraPaths": [
-        "./build_out"
+        "./build_out",
+        "./scripts"
     ]
 }

Public/CITests/testCertoraClient.py

@@ -34,6 +34,11 @@
 from Shared import certoraAttrUtil as AttrUtil
 from Shared import certoraUtils as Util
 from Mutate import mutateConstants as MConstants
+from certoraSolanaProver import run_solana_prover
+from certoraSorobanProver import run_soroban_prover
+from certoraRanger import run_ranger
+from certoraRun import run_certora
+
 
 class InvalidResultException(Exception):
     pass
@@ -807,6 +812,30 @@ def add_to_conf_file(self, conf_file: str, data: Dict[str, Any]) -> str:
             file.write(json5.dumps(content))
         return dest
 
+
+class SorobanProverTestSuite(TestSuite):
+    def __init__(self, **kwargs: Any):
+        super().__init__(run_soroban_prover, **kwargs)
+
+
+class SolanaProverTestSuite(TestSuite):
+    def __init__(self, **kwargs: Any):
+        super().__init__(run_solana_prover, **kwargs)
+
+class RangerTestSuite(TestSuite):
+    def __init__(self, **kwargs: Any):
+        super().__init__(run_ranger, **kwargs)
+
+
+class ProverTestSuite(TestSuite):
+    def __init__(self, **kwargs: Any):
+        super().__init__(run_certora, **kwargs)
+
+    @staticmethod
+    def conf_arg(conf: str) -> List[str]:
+        return [conf] if conf else []
+
+
 def replace_in_file(file_path: Path, old: str, new: str) -> None:
     with file_path.open('r') as f:
         content = f.read().replace(old, new)

Public/CITests/testCertoraUtils.py

@@ -96,7 +96,7 @@ def test_conf_file_inputs(self) -> None:
                              replacements=TestUtil.replace_x(f'{mutation_expr()}, "outdir": "new_dir"'),
                              expected="Invalid configuration: 'outdir' should not be set")
 
-    def test_failed_runs(self) -> None:
+    def test_invalid_runs(self) -> None:
         suite = MutantTestSuite(conf_file_template=_p('mutation_conf_top_level.conf'),
                                 test_attribute=Util.TestValue.CHECK_ARGS)
         suite.expect_failure(description="prover_conf", run_flags=["--prover_conf"],