test

open-s4c · Apr 19, 2024 · 7797658 · 7797658
1 parent 56ec1b7
commit 7797658
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/build_vsyncer.yml b/.github/workflows/build_vsyncer.yml
@@ -72,7 +72,7 @@ jobs:
         run: vsyncer version
       - name: Check out to run with the tests
         uses: actions/checkout@v4
-      - run: cmake -S./tests -Bbuild -DVSYNCER_LOCAL=OFF -DVSYNCER_CHECK=OFF
+      - run: cmake -S./tests -Bbuild -DVSYNCER_LOCAL=OFF
       - run: cmake --build build
       - run: ctest --test-dir build --output-on-failure
       - name: Upload Report

diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt
@@ -67,7 +67,7 @@ foreach(CMD ${CMDS})
       add_test(
         NAME ${TEST_NAME}
         COMMAND env ${ENVVARS} GENMC_PATH=${GENMC_${MC}} ${VSYNCER} --checker
-                ${CHECKER_${MC}} ${CMD} ${ARGS_${CMD}} ${CLIENT})
+                ${CHECKER_${MC}} -d ${CMD} ${ARGS_${CMD}} ${CLIENT})
 
       # if it triggers model checker bug expect to return non-zero value
       if(${TEST_NAME} IN_LIST TRIGGERS_MC_BUG OR ${CASE_NAME} IN_LIST