From 603b3662e2b847e02e1b84f0c07a4d95a1675840 Mon Sep 17 00:00:00 2001 From: Ivet Galabova Date: Mon, 13 Apr 2026 15:27:47 +0000 Subject: [PATCH 1/2] san --- .github/workflows/action-sanitizers-bazel.yml | 119 +++++++++--------- BUILD.bazel | 2 +- 2 files changed, 62 insertions(+), 59 deletions(-) diff --git a/.github/workflows/action-sanitizers-bazel.yml b/.github/workflows/action-sanitizers-bazel.yml index fb0bc7ec34..fbec9b8ef4 100644 --- a/.github/workflows/action-sanitizers-bazel.yml +++ b/.github/workflows/action-sanitizers-bazel.yml @@ -4,31 +4,31 @@ on: workflow_dispatch: jobs: - asan: - runs-on: ${{ matrix.os }} - strategy: - matrix: - os: [ubuntu-latest] + # asan: + # runs-on: ${{ matrix.os }} + # strategy: + # matrix: + # os: [ubuntu-latest] - steps: - - uses: actions/checkout@v4 + # steps: + # - uses: actions/checkout@v4 - - uses: bazelbuild/setup-bazelisk@v3 + # - uses: bazelbuild/setup-bazelisk@v3 - - name: Bazel clean - run: bazel clean + # - name: Bazel clean + # run: bazel clean - - name: Bazel build - run: bazel build -c dbg --config=asan //... + # - name: Bazel build + # run: bazel build -c dbg --config=asan //... - - name: Bazel test - run: bazel test -c dbg --config=asan --runs_per_test 3000 //... + # - name: Bazel test + # run: bazel test -c dbg --config=asan --runs_per_test 3000 //... - # - name: Upload bazel-testlogs - # uses: actions/upload-artifact@v4 - # with: - # name: bazel-testlogs-asan - # path: bazel-testlogs/ + # # - name: Upload bazel-testlogs + # # uses: actions/upload-artifact@v4 + # # with: + # # name: bazel-testlogs-asan + # # path: bazel-testlogs/ tsan: runs-on: ${{ matrix.os }} @@ -48,7 +48,10 @@ jobs: run: bazel build -c dbg --config=tsan //... - name: Bazel test - run: bazel test -c dbg --config=tsan --runs_per_test 3000 //... + run: bazel test -c dbg --config=tsan --runs_per_test 3 //:TestMipSolver + + - name: Bazel test 2 + run: bazel test -c dbg --config=tsan --runs_per_test 3 //:TestHighsParallel # - name: Upload bazel-testlogs # uses: actions/upload-artifact@v4 @@ -56,54 +59,54 @@ jobs: # name: bazel-testlogs-tsan # path: bazel-testlogs/ - lsan: - runs-on: ${{ matrix.os }} - strategy: - matrix: - os: [ubuntu-latest] + # lsan: + # runs-on: ${{ matrix.os }} + # strategy: + # matrix: + # os: [ubuntu-latest] - steps: - - uses: actions/checkout@v4 + # steps: + # - uses: actions/checkout@v4 - - uses: bazelbuild/setup-bazelisk@v3 + # - uses: bazelbuild/setup-bazelisk@v3 - - name: Bazel clean - run: bazel clean + # - name: Bazel clean + # run: bazel clean - - name: Bazel build - run: bazel build -c dbg --config=lsan //... + # - name: Bazel build + # run: bazel build -c dbg --config=lsan //... - - name: Bazel test - run: bazel test -c dbg --config=lsan --runs_per_test 3000 //... + # - name: Bazel test + # run: bazel test -c dbg --config=lsan --runs_per_test 3000 //... - # - name: Upload bazel-testlogs - # uses: actions/upload-artifact@v4 - # with: - # name: bazel-testlogs-lsan - # path: bazel-testlogs/ + # # - name: Upload bazel-testlogs + # # uses: actions/upload-artifact@v4 + # # with: + # # name: bazel-testlogs-lsan + # # path: bazel-testlogs/ - ubsan: - runs-on: ${{ matrix.os }} - strategy: - matrix: - os: [ubuntu-latest] + # ubsan: + # runs-on: ${{ matrix.os }} + # strategy: + # matrix: + # os: [ubuntu-latest] - steps: - - uses: actions/checkout@v4 + # steps: + # - uses: actions/checkout@v4 - - uses: bazelbuild/setup-bazelisk@v3 + # - uses: bazelbuild/setup-bazelisk@v3 - - name: Bazel clean - run: bazel clean + # - name: Bazel clean + # run: bazel clean - - name: Bazel build - run: bazel build -c dbg --config=ubsan //... + # - name: Bazel build + # run: bazel build -c dbg --config=ubsan //... - - name: Bazel test - run: bazel test -c dbg --config=ubsan --runs_per_test 3000 //... + # - name: Bazel test + # run: bazel test -c dbg --config=ubsan --runs_per_test 3000 //... - # - name: Upload bazel-testlogs - # uses: actions/upload-artifact@v4 - # with: - # name: bazel-testlogs-ubsan - # path: bazel-testlogs/ + # # - name: Upload bazel-testlogs + # # uses: actions/upload-artifact@v4 + # # with: + # # name: bazel-testlogs-ubsan + # # path: bazel-testlogs/ diff --git a/BUILD.bazel b/BUILD.bazel index 3bee5daf81..7a8e9b4e0b 100644 --- a/BUILD.bazel +++ b/BUILD.bazel @@ -202,7 +202,7 @@ TEST_NAMES = [ "TestHighsHessian", "TestHighsIntegers", "TestHighsModel", - # "TestHighsParallel", + "TestHighsParallel", "TestHighsRbTree", "TestHSet", "TestICrash", From 4350a780b2d99c13680880862c17624d78daa09f Mon Sep 17 00:00:00 2001 From: Ivet Galabova Date: Thu, 16 Apr 2026 14:13:55 +0000 Subject: [PATCH 2/2] minor edits --- .github/workflows/action-sanitizers-bazel.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/action-sanitizers-bazel.yml b/.github/workflows/action-sanitizers-bazel.yml index fbec9b8ef4..46705feed9 100644 --- a/.github/workflows/action-sanitizers-bazel.yml +++ b/.github/workflows/action-sanitizers-bazel.yml @@ -22,7 +22,7 @@ jobs: # run: bazel build -c dbg --config=asan //... # - name: Bazel test - # run: bazel test -c dbg --config=asan --runs_per_test 3000 //... + # run: bazel test -c dbg --config=asan --runs_per_test 3 //... # # - name: Upload bazel-testlogs # # uses: actions/upload-artifact@v4 @@ -77,7 +77,7 @@ jobs: # run: bazel build -c dbg --config=lsan //... # - name: Bazel test - # run: bazel test -c dbg --config=lsan --runs_per_test 3000 //... + # run: bazel test -c dbg --config=lsan --runs_per_test 3 //... # # - name: Upload bazel-testlogs # # uses: actions/upload-artifact@v4