Bug fix in &scorr.

berkeley-abc · Oct 8, 2024 · 707442e · 707442e
1 parent 2e33843
commit 707442e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c
@@ -2770,7 +2770,10 @@ void Gia_ManTransferEquivs2( Gia_Man_t * p, Gia_Man_t * pOld )
     {
         Vec_IntClear( vClass );
         Gia_ClassForEachObj( p, i, k )
-            Vec_IntPushUnique( vClass, Abc_Lit2Var(Gia_ManObj(p, k)->Value) );
+            if ( (int)Gia_ManObj(p, k)->Value >= 0 )
+                Vec_IntPushUnique( vClass, Abc_Lit2Var(Gia_ManObj(p, k)->Value) );
+        if ( Vec_IntSize( vClass ) <= 1 )
+            continue;
         assert( Vec_IntSize( vClass ) > 1 );
         Vec_IntSort( vClass, 0 );
         iRepr = Vec_IntEntry( vClass, 0 );