Skip to content

Commit c3d3b59

Browse files
authored
[#258] MCDC Cleanup
1 parent cfa4c82 commit c3d3b59

File tree

1 file changed

+11
-2
lines changed

1 file changed

+11
-2
lines changed

.github/workflows/mc_dc_coverage.yml

Lines changed: 11 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -87,16 +87,25 @@ jobs:
8787
- name: Run MC/DC Analysis
8888
run: |
8989
echo "Setting up environment for MC/DC Checker..."
90-
export PATH=/usr/lib/llvm-19/bin:$PATH
90+
export PATH=/usr/lib/llvm-19/bin:$HOME/.local/bin:$PATH
9191
export LD_LIBRARY_PATH=/usr/lib/llvm-19/lib:$LD_LIBRARY_PATH
92+
export CC=/usr/lib/llvm-19/bin/clang
93+
export CXX=/usr/lib/llvm-19/bin/clang++
94+
95+
echo "Verifying Clang bindings..."
96+
python3 -c "
97+
import clang.cindex as cindex
98+
cindex.Config.set_library_file('/usr/lib/llvm-19/lib/libclang.so')
99+
print('Clang library file configured:', cindex.Config.library_file)
100+
"
101+
92102
echo "Running mcdc-checker..."
93103
mcdc-checker -a -j $GITHUB_WORKSPACE/doc/coverage/mcdc_report.json \
94104
-I $GITHUB_WORKSPACE/include \
95105
-I $GITHUB_WORKSPACE/test/include \
96106
$(find $GITHUB_WORKSPACE/src -type f -name '*.c' | tr '\n' ' ') \
97107
$(find $GITHUB_WORKSPACE/test -type f -name '*.c' | tr '\n' ' ') \
98108
> $GITHUB_WORKSPACE/doc/coverage/mcdc_checker_output.log 2>&1 || true
99-
100109
# - name: Display MC/DC Checker Output
101110
# run: |
102111
# echo "Displaying MC/DC Checker Output:"

0 commit comments

Comments
 (0)