From 2f609a313643b2462ab692a4295e6f73f96f35db Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 22 Sep 2025 18:41:44 +0200 Subject: [PATCH] Enable unit tests --- .github/workflows/test-sanitizers.yml | 5 +++++ .github/workflows/test-verific.yml | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/.github/workflows/test-sanitizers.yml b/.github/workflows/test-sanitizers.yml index 2ffd2db15..1e028e285 100644 --- a/.github/workflows/test-sanitizers.yml +++ b/.github/workflows/test-sanitizers.yml @@ -113,3 +113,8 @@ jobs: shell: bash run: | find tests/**/*.err -print -exec cat {} \; + + - name: Run unit tests + shell: bash + run: | + make -j$procs unit-test CONFIG=$CC ENABLE_LIBYOSYS=1 diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml index 9af07b920..c6c59edee 100644 --- a/.github/workflows/test-verific.yml +++ b/.github/workflows/test-verific.yml @@ -78,3 +78,8 @@ jobs: if: ${{ github.ref == 'refs/heads/main' }} run: | make -C sby run_ci + + - name: Run unit tests + shell: bash + run: | + make -j$procs unit-test ENABLE_LTO=1 ENABLE_LIBYOSYS=1