Skip to content

sanitizer tests #3025

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
galabovaa wants to merge 3 commits into
base: hmw-mt
Choose a base branch
from
+66 −62
Open

sanitizer tests #3025

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
d579de4
add sanitizers
galabovaa May 15, 2026
2fbf7c7
300 is a bit excessive, 100 should do here
galabovaa May 15, 2026
5c07d5b
bazel on PR, uint8_t
galabovaa May 18, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
126 changes: 65 additions & 61 deletions .github/workflows/action-sanitizers-bazel.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,34 +1,35 @@
name: action-sanitizers-bazel

on:
pull_request:
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@v6
steps:
- uses: actions/checkout@v6

# - 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 3 //...
- name: Bazel test
run: bazel test -c dbg --config=asan --runs_per_test 5 //...

# # - name: Upload bazel-testlogs
# # uses: actions/upload-artifact@v7
# # with:
# # name: bazel-testlogs-asan
# # path: bazel-testlogs/
# - name: Upload bazel-testlogs
# uses: actions/upload-artifact@v7
# with:
# name: bazel-testlogs-asan
# path: bazel-testlogs/

tsan:
runs-on: ${{ matrix.os }}
Expand All @@ -47,66 +48,69 @@ jobs:
- name: Bazel build
run: bazel build -c dbg --config=tsan //...

- name: Bazel test
run: bazel test -c dbg --config=tsan --runs_per_test 3 //:TestMipSolver
- name: Test Mip Solver
run: bazel test -c dbg --config=tsan --runs_per_test 100 //:TestMipSolver

- name: Test Highs Parallel
run: bazel test -c dbg --config=tsan --runs_per_test 100 //:TestHighsParallel

- name: Bazel test 2
run: bazel test -c dbg --config=tsan --runs_per_test 3 //:TestHighsParallel
- name: All Tests
run: bazel test -c dbg --config=tsan --runs_per_test 5 //...

# - name: Upload bazel-testlogs
# uses: actions/upload-artifact@v7
# with:
# 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@v6
steps:
- uses: actions/checkout@v6

# - 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 3 //...
- name: Bazel test
run: bazel test -c dbg --config=lsan --runs_per_test 5 //...

# # - name: Upload bazel-testlogs
# # uses: actions/upload-artifact@v7
# # with:
# # name: bazel-testlogs-lsan
# # path: bazel-testlogs/
# - name: Upload bazel-testlogs
# uses: actions/upload-artifact@v7
# 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@v6
steps:
- uses: actions/checkout@v6

# - 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 5 //...

# # - name: Upload bazel-testlogs
# # uses: actions/upload-artifact@v7
# # with:
# # name: bazel-testlogs-ubsan
# # path: bazel-testlogs/
# - name: upload bazel-testlogs
# uses: actions/upload-artifact@v7
# with:
# name: bazel-testlogs-ubsan
# path: bazel-testlogs/
2 changes: 1 addition & 1 deletion highs/lp_data/HStruct.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -178,7 +178,7 @@ struct HighsSubSolverCallTime {
HighsInt mip_clock_running;
std::vector<double> submip_start_time;
std::vector<HighsInt> submip_clock_running;
std::vector<bool> submip;
std::vector<uint8_t> submip;
std::vector<double> start_time;
std::vector<HighsInt> clock_running;
std::vector<std::string> name;
Expand Down
Loading