Skip to content

Commit

Permalink
[#258] MCDC Test
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbrown2 authored Dec 20, 2024
1 parent 1c7da35 commit 7e6a300
Showing 1 changed file with 10 additions and 3 deletions.
13 changes: 10 additions & 3 deletions .github/workflows/mc_dc_coverage.yml
Original file line number Diff line number Diff line change
Expand Up @@ -93,20 +93,27 @@ jobs:
echo "Setting up environment for MC/DC Checker..."
export PATH=/usr/lib/llvm-19/bin:$HOME/.local/bin:$PATH
export LD_LIBRARY_PATH=/usr/lib/llvm-19/lib:$LD_LIBRARY_PATH
export CC=/usr/lib/llvm-19/bin/clang
export CXX=/usr/lib/llvm-19/bin/clang++
echo "Configuring Clang library path for MC/DC Checker..."
echo "Verifying Clang bindings..."
python3 -c "
import clang.cindex as cindex
cindex.Config.set_library_file('/usr/lib/llvm-19/lib/libclang.so')
print('Clang library file configured:', cindex.Config.library_path)
"
echo "Testing Clang version in checker environment..."
clang --version || { echo 'Clang not found'; exit 1; }

echo "Running mcdc-checker..."
mcdc-checker -a -j $GITHUB_WORKSPACE/doc/coverage/mcdc_report.json \
-I $GITHUB_WORKSPACE/include $(find $GITHUB_WORKSPACE/src -type f -name '*.c' | tr '\n' ' ') \
> $GITHUB_WORKSPACE/doc/coverage/mcdc_checker_output.log 2>&1 || true

echo "MC/DC Checker completed."
echo "Displaying MC/DC Checker Output:"
cat $GITHUB_WORKSPACE/doc/coverage/mcdc_checker_output.log


- name: Display MC/DC Checker Output
run: |
Expand Down

0 comments on commit 7e6a300

Please sign in to comment.