♻️ Refactor

Signed-off-by: Pascal Marco Caversaccio <[email protected]>

.github/workflows/checks.yml

@@ -62,7 +62,8 @@ jobs:
       - name: Check formatting with Black
         uses: psf/black@stable
         with:
-          options: "--check --verbose scripts lib/utils"
+          options: "--check --verbose"
+          src: "./lib/utils"
 
   codespell:
     runs-on: ${{ matrix.os }}
@@ -106,6 +107,6 @@ jobs:
       - name: Validate URLs
         run: |
           awesome_bot ./*.md src/snekmate/**/*.vy src/snekmate/**/mocks/*.vy src/snekmate/**/interfaces/*.vyi \
-          test/**/*.sol test/**/interfaces/*.sol test/**/mocks/*.sol test/**/scripts/*.js lib/utils/*.sol scripts/*.py lib/utils/*.py \
+          test/**/*.sol test/**/interfaces/*.sol test/**/mocks/*.sol test/**/scripts/*.js lib/utils/*.sol lib/utils/*.py \
           --allow-dupe --allow-redirect --request-delay 0.4 \
           --white-list https://www.wagmi.xyz,https://github.com/pcaversaccio/snekmate.git@,https://github.com/pcaversaccio/snekmate/releases/tag/v0.1.1,https://github.com/pcaversaccio/snekmate/blob/v0.1.1,https://github.com/pcaversaccio/snekmate/compare/v0.1.0...v0.1.1,https://hyperelliptic.org

.github/workflows/halmos-venom.yml

@@ -72,7 +72,7 @@ jobs:
           FOUNDRY_PROFILE: halmos-venom
 
       - name: Run Halmos ERC-20 symbolic tests
-        run: RUST_LOG=trace halmos --contract ERC20TestHalmos ${{ matrix.halmos }}
+        run: halmos --contract ERC20TestHalmos ${{ matrix.halmos }}
         env:
           FOUNDRY_PROFILE: halmos-venom
 

lib/utils/compile.py

@@ -1,8 +1,30 @@
 import sys, subprocess
 
-result = subprocess.run(["vyper"] + sys.argv[1:], capture_output=True, text=True)
+
+# Check if `experimental_codegen` is enabled in the
+# Foundry profile.
+def is_experimental_codegen():
+    return (
+        subprocess.run(
+            ["bash", "-c", 'forge config --json | jq -r ".vyper.experimental_codegen"'],
+            capture_output=True,
+            text=True,
+        )
+        .stdout.strip()
+        .lower()
+        == "true"
+    )
+
+
+# Build the Vyper command.
+command = (
+    ["vyper", "--experimental-codegen"] if is_experimental_codegen() else ["vyper"]
+)
+command += sys.argv[1:]
+
+result = subprocess.run(command, capture_output=True, text=True)
 if result.returncode != 0:
-    raise Exception("Error compiling: " + sys.argv[1])
+    raise Exception(f"Error compiling: {sys.argv[1]}")
 
 # Remove any leading and trailing whitespace characters
 # from the compilation result.