Skip to content

Handle some uncaught exceptions in explain mode - #2539

Open
yonatan wants to merge 3 commits into
souffle-lang:masterfrom
yonatan:fix-explain-valueread
Open

Handle some uncaught exceptions in explain mode#2539
yonatan wants to merge 3 commits into
souffle-lang:masterfrom
yonatan:fix-explain-valueread

fix whitespace w/clang-format

8cd7e04
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Apr 3, 2026 in 0s

81.06% (target 0.00%)

View this Pull Request on Codecov

81.06% (target 0.00%)

Details

Codecov Report

❌ Patch coverage is 47.72727% with 23 lines in your changes missing coverage. Please review.
✅ Project coverage is 81.06%. Comparing base (94ccab0) to head (8cd7e04).
⚠️ Report is 23 commits behind head on master.

Files with missing lines Patch % Lines
src/include/souffle/provenance/Explain.h 50.00% 15 Missing ⚠️
src/include/souffle/provenance/ExplainProvenance.h 42.85% 8 Missing ⚠️
Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #2539      +/-   ##
==========================================
- Coverage   81.14%   81.06%   -0.09%     
==========================================
  Files         492      492              
  Lines       33372    33392      +20     
==========================================
- Hits        27080    27068      -12     
- Misses       6292     6324      +32     
Files with missing lines Coverage Δ
src/include/souffle/provenance/ExplainProvenance.h 83.33% <42.85%> (-5.96%) ⬇️
src/include/souffle/provenance/Explain.h 46.25% <50.00%> (-1.14%) ⬇️

... and 5 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.