Closed aletempiac closed 1 year ago
Merging #605 (127ab16) into master (70a9eb3) will decrease coverage by
0.04%
. The diff coverage is81.10%
.
:exclamation: Your organization is not using the GitHub App Integration. As a result you may experience degraded service beginning May 15th. Please install the Github App Integration for your organization. Read more.
@@ Coverage Diff @@
## master #605 +/- ##
==========================================
- Coverage 83.15% 83.11% -0.04%
==========================================
Files 173 175 +2
Lines 23660 24078 +418
==========================================
+ Hits 19674 20012 +338
- Misses 3986 4066 +80
Impacted Files | Coverage Δ | |
---|---|---|
include/mockturtle/algorithms/rewrite.hpp | 80.56% <80.56%> (ø) |
|
include/mockturtle/algorithms/cut_enumeration.hpp | 81.60% <81.13%> (-0.21%) |
:arrow_down: |
...kturtle/algorithms/cut_enumeration/rewrite_cut.hpp | 91.66% <91.66%> (ø) |
Adding:
cut_rewriting
, replacements are substituted in place right away instead of accumulating them and solving a covering problem afterward)