Skip to content

Merge branch 'preprocessing' of https://github.com/alpha-asp/Alpha in…

9aa03ea
Select commit
Loading
Failed to load commit list.
Draft

Preprocessing #337

Merge branch 'preprocessing' of https://github.com/alpha-asp/Alpha in…
9aa03ea
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded May 2, 2026 in 0s

71.01% (+0.78%) compared to d42818a

View this Pull Request on Codecov

71.01% (+0.78%) compared to d42818a

Details

Codecov Report

❌ Patch coverage is 75.00000% with 41 lines in your changes missing coverage. Please review.
✅ Project coverage is 71.01%. Comparing base (d42818a) to head (9aa03ea).
⚠️ Report is 97 commits behind head on master.

Files with missing lines Patch % Lines
...e/programs/transformation/SimplePreprocessing.java 86.17% 6 Missing and 7 partials ⚠️
...ava/at/ac/tuwien/kr/alpha/commons/terms/Terms.java 7.69% 12 Missing ⚠️
...ac/tuwien/kr/alpha/core/atoms/IntervalLiteral.java 37.50% 2 Missing and 3 partials ⚠️
.../kr/alpha/core/grounder/FactIntervalEvaluator.java 44.44% 2 Missing and 3 partials ⚠️
...uwien/kr/alpha/commons/terms/IntervalTermImpl.java 71.42% 2 Missing ⚠️
...c/tuwien/kr/alpha/core/solver/TrailAssignment.java 0.00% 2 Missing ⚠️
...grams/transformation/ArithmeticTermsRewriting.java 0.00% 0 Missing and 1 partial ⚠️
...re/programs/transformation/ChoiceHeadToNormal.java 0.00% 0 Missing and 1 partial ⚠️
Additional details and impacted files
@@             Coverage Diff              @@
##             master     #337      +/-   ##
============================================
+ Coverage     70.23%   71.01%   +0.78%     
- Complexity     2123     2192      +69     
============================================
  Files           182      183       +1     
  Lines          8023     8132     +109     
  Branches       1423     1455      +32     
============================================
+ Hits           5635     5775     +140     
+ Misses         2028     1976      -52     
- Partials        360      381      +21     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

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