Skip to content

Fix #1206: [Rule] SubsetProduct to CircuitSAT - #1244

Open
isPANN wants to merge 1 commit into
mainfrom
issue-1206-subset-product-circuit-sat
Open

isPANN wants to merge 1 commit into
mainfrom
issue-1206-subset-product-circuit-sat

Fix #1206: [Rule] SubsetProduct to CircuitSAT

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

97.19% (target 95.00%)

View this Pull Request on Codecov

97.19% (target 95.00%)

Details

Codecov Report

❌ Patch coverage is 98.23944% with 10 lines in your changes missing coverage. Please review.
✅ Project coverage is 97.19%. Comparing base (e7bacb3) to head (4ceb0e5).

Files with missing lines Patch % Lines
src/models/formula/circuit.rs 84.09% 7 Missing ⚠️
src/rules/subsetproduct_circuitsat.rs 98.81% 2 Missing ⚠️
src/unit_tests/rules/subsetproduct_circuitsat.rs 99.70% 1 Missing ⚠️
Additional details and impacted files
@@           Coverage Diff            @@
##             main    #1244    +/-   ##
========================================
  Coverage   97.19%   97.19%            
========================================
  Files        1146     1148     +2     
  Lines      151558   152124   +566     
========================================
+ Hits       147308   147864   +556     
- Misses       4250     4260    +10     

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