From f9fbafba1f32774f622f6565ff011c32aaa76b30 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Tue, 28 Nov 2023 16:07:46 -0800
Subject: [PATCH] ci: add -vvv for test-long

---
 .github/workflows/test-long.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test-long.yml b/.github/workflows/test-long.yml
index 6c0d2684..eaa6074c 100644
--- a/.github/workflows/test-long.yml
+++ b/.github/workflows/test-long.yml
@@ -41,4 +41,4 @@ jobs:
         run: pip install -e .
 
       - name: Run pytest
-        run: pytest -v tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --error-unknown --solver-timeout-assertion 0"
+        run: pytest -vvv tests/test_halmos.py -k ${{ matrix.testname }} --halmos-options="-v -st --error-unknown --solver-timeout-assertion 0"