Skip to content

Fix #1201: [Rule] OneInThreeSatisfiability to SubsetProduct - #1236

Open
isPANN wants to merge 1 commit into
mainfrom
issue-1201-oneinthreesat-subsetproduct
Open

isPANN wants to merge 1 commit into
mainfrom
issue-1201-oneinthreesat-subsetproduct

Fix #1201: [Rule] OneInThreeSatisfiability to SubsetProduct

ac461c8
Select commit
Loading
Failed to load commit list.
Codecov / codecov/project succeeded Nov 4, 2026 in 0s

97.20% (target 95.00%)

View this Pull Request on Codecov

97.20% (target 95.00%)

Details

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.20%. Comparing base (e7bacb3) to head (ac461c8).

Additional details and impacted files
@@           Coverage Diff            @@
##             main    #1236    +/-   ##
========================================
  Coverage   97.19%   97.20%            
========================================
  Files        1146     1148     +2     
  Lines      151558   151806   +248     
========================================
+ Hits       147308   147557   +249     
+ Misses       4250     4249     -1     

☔ View full report in Codecov by Harness.
📢 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.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.