search

lsils / mockturtle

C++ logic network library
MIT License
202 stars 136 forks source link

Fix an issue in node substitution in XAG and XMG #574

Closed lee30sonia closed 1 year ago

lee30sonia commented 1 year ago

The same issue as fixed in #404 was not ported to XAG and XMG (only AIG and MIG). Now fixed for the four network types mentioned. Tests were added.

codecov-commenter commented 1 year ago

Codecov Report

Merging #574 (dea309c) into master (1670606) will increase coverage by 0.21%. The diff coverage is 95.05%.

@@            Coverage Diff             @@
##           master     #574      +/-   ##
==========================================
+ Coverage   83.00%   83.21%   +0.21%     
==========================================
  Files         156      158       +2     
  Lines       19154    19507     +353     
==========================================
+ Hits        15898    16232     +334     
- Misses       3256     3275      +19
Impacted Files Coverage Δ
include/mockturtle/networks/xmg.hpp 88.73% <75.00%> (-0.43%) :arrow_down:
include/mockturtle/networks/xag.hpp 95.36% <88.88%> (-0.25%) :arrow_down:
include/mockturtle/networks/tig.hpp 95.22% <95.22%> (ø)
include/mockturtle/networks/muxig.hpp 96.55% <96.55%> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.