Skip to content

Commit

Permalink
better
Browse files Browse the repository at this point in the history
  • Loading branch information
xu-shawn committed Dec 16, 2024
1 parent 9b8789c commit 8bccb55
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions .github/workflows/sanitizers.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,27 +21,27 @@ jobs:
sanitizers:
- name: Run with thread sanitizer
make_option: sanitize=thread
make_flags: ""
cxx_flags: -O1 -fno-inline
instrumented_option: sanitizer-thread
- name: Run with UB sanitizer
make_option: sanitize=undefined
make_flags: ""
cxx_flags: -O1 -fno-inline
instrumented_option: sanitizer-undefined
- name: Run under valgrind
make_option: ""
make_flags: ""
cxx_flags: -O1 -fno-inline
instrumented_option: valgrind
- name: Run under valgrind-thread
make_option: ""
make_flags: ""
cxx_flags: -O1 -fno-inline
instrumented_option: valgrind-thread
- name: Run non-instrumented
make_option: ""
make_flags: ""
cxx_flags: -O1 -fno-inline
instrumented_option: none
- name: Run with glibcxx assertions
make_option: ""
make_flags: CXXFLAGS="-D_GLIBCXX_ASSERTIONS"
cxx_flags: -O1 -fno-inline -D_GLIBCXX_ASSERTIONS
instrumented_option: non
defaults:
run:
Expand Down Expand Up @@ -81,7 +81,7 @@ jobs:

- name: ${{ matrix.sanitizers.name }}
run: |
export CXXFLAGS="-O1 -fno-inline"
export CXXFLAGS="${{ matrix.sanitizers.cxx_flags }}"
make clean
${{ matrix.sanitizers.make_flags }} make -j4 ARCH=x86-64-sse41-popcnt ${{ matrix.sanitizers.make_option }} debug=yes optimize=no build > /dev/null
make -j4 ARCH=x86-64-sse41-popcnt ${{ matrix.sanitizers.make_option }} debug=yes optimize=no build > /dev/null
python3 ../tests/instrumented.py --${{ matrix.sanitizers.instrumented_option }} ./stockfish

0 comments on commit 8bccb55

Please sign in to comment.