diff options
-rw-r--r-- | .github/actions/run-tests/action.yml | 9 | ||||
-rw-r--r-- | .github/workflows/ci.yml | 3 | ||||
-rw-r--r-- | test/unit/CMakeLists.txt | 2 |
3 files changed, 0 insertions, 14 deletions
diff --git a/.github/actions/run-tests/action.yml b/.github/actions/run-tests/action.yml index 5fddcbd36..47c4ed933 100644 --- a/.github/actions/run-tests/action.yml +++ b/.github/actions/run-tests/action.yml @@ -9,8 +9,6 @@ inputs: default: true check-python-bindings: default: false - check-unit-tests: - default: true regressions-args: default: "" regressions-exclude: @@ -28,13 +26,6 @@ runs: RUN_REGRESSION_ARGS: ${{ inputs.regressions-args }} working-directory: ${{ inputs.build-dir }} - - name: Run Unit Tests - shell: bash - run: | - if [[ "${{ inputs.check-unit-tests }}" != "true" ]]; then exit 0; fi - make -j${{ env.num_proc }} apitests units - working-directory: ${{ inputs.build-dir }} - - name: Install Check shell: bash run: | diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f8faab276..f28309652 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -40,7 +40,6 @@ jobs: os: ubuntu-18.04 config: production --auto-download --assertions --tracing --unit-testing --java-bindings --editline cache-key: dbg - check-units: true exclude_regress: 3-4 run_regression_args: --tester base --tester model --tester synth --tester abduct --tester proof @@ -86,7 +85,6 @@ jobs: build-dir: ${{ steps.configure-and-build.outputs.shared-build-dir }} check-examples: ${{ matrix.check-examples }} check-python-bindings: ${{ matrix.python-bindings }} - check-unit-tests: ${{ matrix.check-units }} regressions-args: ${{ matrix.run_regression_args }} regressions-exclude: ${{ matrix.exclude_regress }} @@ -97,7 +95,6 @@ jobs: check-examples: false check-install: false check-python-bindings: false - check-unit-tests: ${{ matrix.check-units }} regressions-args: ${{ matrix.run_regression_args }} regressions-exclude: 1-4 diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt index 24158e00b..11c2e8514 100644 --- a/test/unit/CMakeLists.txt +++ b/test/unit/CMakeLists.txt @@ -14,7 +14,6 @@ ## find_package(GTest REQUIRED) -include(GoogleTest) include_directories(.) include_directories(${PROJECT_SOURCE_DIR}/src) @@ -40,7 +39,6 @@ macro(cvc5_add_unit_test is_white name output_dir) set(test_src ${CMAKE_CURRENT_LIST_DIR}/${name}.cpp) add_executable(${name} ${test_src}) target_compile_definitions(${name} PRIVATE ${CVC5_UNIT_TEST_FLAGS_BLACK}) - gtest_add_tests(TARGET ${name}) target_link_libraries(${name} PUBLIC main-test GMP) target_link_libraries(${name} PUBLIC GTest::Main) target_link_libraries(${name} PUBLIC GTest::GTest) |