From f043d5a1db739d72ee054172fe1c9a7e56eb2f23 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Mon, 24 Jun 2024 14:28:21 -0700
Subject: [PATCH] ci: remove -v for halmos

---
 .github/workflows/test-external.yml | 2 +-
 .github/workflows/test-long.yml     | 2 +-
 .github/workflows/test.yml          | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/test-external.yml b/.github/workflows/test-external.yml
index 04fc4f49..edfc7632 100644
--- 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
index 6634bd46..0fc92c48 100644
--- 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
index d44a3f8e..cbc39f4c 100644
--- 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 }}