From 77976584672dce1e394f8a73d45e28f1181d2d30 Mon Sep 17 00:00:00 2001
From: Diogo Behrens <diogo.behrens@huawei.com>
Date: Fri, 19 Apr 2024 18:27:25 +0800
Subject: [PATCH] test

---
 .github/workflows/build_vsyncer.yml | 2 +-
 tests/CMakeLists.txt                | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build_vsyncer.yml b/.github/workflows/build_vsyncer.yml
index 866e8b8..9a0439e 100644
--- 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
index c5186d8..917ca7b 100644
--- 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