m

Author: Lucas McDonald

.github/workflows/ci_test_python.yml

@@ -101,20 +101,20 @@ jobs:
           CORES=$(node -e 'console.log(os.cpus().length)')
           make transpile_python CORES=$CORES
 
-      # - name: Test ${{ matrix.library }} Dafny-transpiled Python tests
-      #   # Dafny-transpiled Python tests use a PYTHONPATH hack that doesn't work on Windows.
-      #   # Windows is tested with non-Dafny-transpiled Python tests.
-      #   if: ${{ matrix.os != 'windows-latest' }}
-      #   working-directory: ./${{ matrix.library }}/runtimes/python
-      #   shell: bash 
-      #   run: |
-      #     tox -e dafnytests
+      - name: Test ${{ matrix.library }} Dafny-transpiled Python tests
+        # Dafny-transpiled Python tests use a PYTHONPATH hack that doesn't work on Windows.
+        # Windows is tested with non-Dafny-transpiled Python tests.
+        if: ${{ matrix.os != 'windows-latest' }}
+        working-directory: ./${{ matrix.library }}/runtimes/python
+        shell: bash
+        run: |
+          tox -e dafnytests
 
-      # - name: Test ${{ matrix.library }} Python unit tests
-      #   working-directory: ./${{ matrix.library }}/runtimes/python
-      #   shell: bash
-      #   run: |
-      #     tox -e unit
+      - name: Test ${{ matrix.library }} Python unit tests
+        working-directory: ./${{ matrix.library }}/runtimes/python
+        shell: bash
+        run: |
+          tox -e unit
 
       - name: Test ${{ matrix.library }} Python integration tests
         working-directory: ./${{ matrix.library }}/runtimes/python