Merge pull request #11 from HerodotusDev/rust-hints

2 - rust hints init
HerodotusDev · Oct 28, 2024 · 67f908e · 67f908e
2 parents fdde4de + 3a744d4
commit 67f908e
Show file tree

Hide file tree

Showing 47 changed files with 5,108 additions and 51 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -6,37 +6,40 @@ jobs:
   main:
     runs-on: ubuntu-latest
     steps:
-    - name: Checkout Repository
-      uses: actions/checkout@v3
-
-    - name: Set up Python
-      uses: actions/setup-python@v4
-      with:
-        python-version: '3.9' # Specify the Python version you need
-    # - name: Cache Python environment
-    #   uses: actions/cache@v3
-    #   with:
-    #     path: |
-    #       ~/.cache/pip
-    #       venv
-    #     key: ${{ runner.os }}-python-${{ hashFiles('**/requirements.txt') }}
-    #     restore-keys: |
-    #       ${{ runner.os }}-python-
-    - name: Install Dependencies
-      run: |
-        make setup
-
-    - name: Check python formatting
-      run: source venv/bin/activate && ./tools/make/python_format_check.sh
-    - name: Check cairo Formatting
-      run: |
-        source venv/bin/activate && ./tools/make/cairo_format_check.sh
-    - name: Compile cairo files
-      run: source venv/bin/activate && make build
-    - name: Run Cairo tests
-      env:
-        RPC_URL_MAINNET: ${{ secrets.RPC_URL_MAINNET }}
-        RPC_URL: ${{ secrets.RPC_URL }}
-      run: source ./tools/make/cairo_tests.sh
-    - name: Run MPT tests
-      run: source ./tools/make/fuzzer.sh tests/fuzzing/mpt.cairo --ci
+      - name: Checkout Repository
+        uses: actions/checkout@v3
+
+      - name: Set up python
+        uses: actions/setup-python@v4
+        with:
+          python-version: "3.9"
+
+      - name: Install Dependencies
+        run: |
+          make setup
+
+      - name: Check python formatting
+        run: source venv/bin/activate && ./tools/make/python_format_check.sh
+
+      - name: Check cairo Formatting
+        run: |
+          source venv/bin/activate && ./tools/make/cairo_format_check.sh
+
+      - name: Check rust Formatting
+        run: |
+          cargo fmt --check
+
+      - name: Compile cairo files
+        run: source venv/bin/activate && make build
+
+      - name: Run cairo tests
+        env:
+          RPC_URL_MAINNET: ${{ secrets.RPC_URL_MAINNET }}
+          RPC_URL: ${{ secrets.RPC_URL }}
+        run: source ./tools/make/cairo_tests.sh
+
+      - name: Run cairo_vm hints tests
+        run: cargo test --release -- --show-output
+
+      - name: Run mpt tests
+        run: source ./tools/make/fuzzer.sh tests/fuzzing/mpt.cairo --ci
diff --git a/.gitignore b/.gitignore
@@ -30,4 +30,6 @@ src/.DS_Store
 solidity-verifier/lib/*
 *.log
 
-!tests/fuzzing/fixtures/*.json
+!tests/fuzzing/fixtures/*.json
+
+target