Merge branch 'main' into perf/increase-default-assertion-solving-timeout

a16z · Sep 23, 2024 · 1612632 · 1612632
2 parents a9f3d11 + 6a29824
commit 1612632
Showing 1 changed file with 16 additions and 1 deletion.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -54,7 +54,22 @@ jobs:
             profile: ""
           - repo: "pcaversaccio/snekmate"
             dir: "snekmate"
-            cmd: "--config test/halmos.toml"
+            cmd: "--config test/halmos.toml --contract ERC20TestHalmos"
+            branch: ""
+            profile: "halmos"
+          - repo: "pcaversaccio/snekmate"
+            dir: "snekmate"
+            cmd: "--config test/halmos.toml --contract ERC721TestHalmos"
+            branch: ""
+            profile: "halmos"
+          - repo: "pcaversaccio/snekmate"
+            dir: "snekmate"
+            cmd: "--config test/halmos.toml --contract ERC1155TestHalmos"
+            branch: ""
+            profile: "halmos"
+          - repo: "pcaversaccio/snekmate"
+            dir: "snekmate"
+            cmd: "--config test/halmos.toml --contract MathTestHalmos"
             branch: ""
             profile: "halmos"