ci: remove -v for halmos

a16z · Jun 24, 2024 · f043d5a · f043d5a
1 parent e15eb10
commit f043d5a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
@@ -68,5 +68,5 @@ jobs:
         working-directory: halmos
 
       - name: Test external repo
-        run: docker run -v .:/workspace ${{ matrix.cmd }} --statistics --solver-timeout-assertion 0 --solver-threads 2 --solver-command yices-smt2 ${{ inputs.halmos-options }}
+        run: docker run -v .:/workspace ${{ matrix.cmd }} --statistics --solver-timeout-assertion 0 --solver-threads 4 --solver-command yices-smt2 ${{ inputs.halmos-options }}
         working-directory: ${{ matrix.dir }}
diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
@@ -43,4 +43,4 @@ jobs:
 
       - name: Run Pytest
         run: |
-          docker run -v .:/workspace --entrypoint pytest halmos -x -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options='-v -st --solver-timeout-assertion 0 --solver-threads 2 --solver-command yices-smt2 ${{ inputs.halmos-options }}' -s --log-cli-level=
+          docker run -v .:/workspace --entrypoint pytest halmos -x -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options='-st --solver-timeout-assertion 0 --solver-threads 4 --solver-command yices-smt2 ${{ inputs.halmos-options }}' -s --log-cli-level=
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -52,4 +52,4 @@ jobs:
         run: python -m pip install -e .
 
       - name: Run pytest
-        run: pytest -n 4 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-v -st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} --solver-timeout-assertion 0 ${{ inputs.halmos-options }}" ${{ inputs.pytest-options }}
+        run: pytest -n 4 -v -k "not long and not ffi" --ignore=tests/lib --halmos-options="-st ${{ matrix.parallel }} --storage-layout ${{ matrix.storage-layout }} --solver-timeout-assertion 0 ${{ inputs.halmos-options }}" ${{ inputs.pytest-options }}