Skip to content

Fix #363: [Rule] PARTITION to INTEGRAL FLOW WITH MULTIPLIERS#1068

Closed
isPANN wants to merge 2 commits into
mainfrom
issue-363
Closed

Fix #363: [Rule] PARTITION to INTEGRAL FLOW WITH MULTIPLIERS#1068
isPANN wants to merge 2 commits into
mainfrom
issue-363

Implement Partition -> IntegralFlowWithMultipliers reduction (#363)

24dfc58
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded May 25, 2026 in 1s

97.93% (target 95.00%)

View this Pull Request on Codecov

97.93% (target 95.00%)

Details

Codecov Report

❌ Patch coverage is 99.28571% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 97.93%. Comparing base (8df8ac0) to head (24dfc58).

Files with missing lines Patch % Lines
src/rules/partition_integralflowwithmultipliers.rs 98.52% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff            @@
##             main    #1068    +/-   ##
========================================
  Coverage   97.93%   97.93%            
========================================
  Files         966      968     +2     
  Lines      100154   100294   +140     
========================================
+ Hits        98083    98222   +139     
- Misses       2071     2072     +1     

☔ 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.