Fix in ESOP balancing

lsils · Aug 24, 2023 · 660e6a1 · 660e6a1
1 parent 1d2f04f
commit 660e6a1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/include/mockturtle/algorithms/balancing/esop_balancing.hpp b/include/mockturtle/algorithms/balancing/esop_balancing.hpp
@@ -277,6 +277,7 @@ struct esop_rebalancing
 
         if ( n_lit < lit )
         {
+          inverted = true;
           return sop_hash_[~func] = n_sop;
         }
       }