Skip to content

Commit

Permalink
Add thread sanitiser
Browse files Browse the repository at this point in the history
  • Loading branch information
Joseph-Edwards committed Dec 11, 2024
1 parent 182529f commit 66c5dd0
Showing 1 changed file with 29 additions and 0 deletions.
29 changes: 29 additions & 0 deletions .github/workflows/runtests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -262,6 +262,35 @@ jobs:
run: make test_all -j4
- name: "Run the quick tests . . ."
run: ./test_all "[quick]"
sanitisers:
timeout-minutes: 60
runs-on: ubuntu-latest
env:
CXX: "ccache clang++"
strategy:
matrix:
type: ["thread", "address", "undefined behaviour"]
include:
- type: "thread"
cxx_flags: "-fdiagnostics-color -fsanitize=thread -fPIE -pie -fno-omit-frame-pointer -g -O2"
ld_flags: "-fsanitize=thread"
steps:
- uses: actions/checkout@v3
- name: "Setup ccache . . ."
uses: Chocobo1/setup-ccache-action@v1
with:
update_packager_index: false
install_ccache: true
- name: "Configure . . ."
run: |
mkdir -p m4 && ./autogen.sh
./configure CXX="$CXX" CXXFLAGS="{{ matrix.cxx_flags }}" LDFLAGS="{{ matrix.ld_flags }}"
- name: "Build libsemigroups . . ."
run: make -j4
- name: "Build test_all . . ."
run: make test_all -j4
- name: "Run tests with {{ matrix.type }} . . ."
run: ./test_all "[quick][standard]"
valgrind:
timeout-minutes: 60
runs-on: ubuntu-latest
Expand Down

0 comments on commit 66c5dd0

Please sign in to comment.