Adding a warning in retiming when no node delays are given.

berkeley-abc · Jan 24, 2020 · 8eb6aed · 8eb6aed
1 parent 62c4c8b
commit 8eb6aed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c
@@ -545,7 +545,7 @@ void Wln_NtkRetimeCreateDelayInfo( Wln_Ntk_t * pNtk )
     {
         printf( "Using delays given by the user in the input file.\n" );
         Wln_NtkForEachObj( pNtk, iObj )
-            if ( !Wln_ObjIsCio(pNtk, iObj) && Wln_ObjInstId(pNtk, iObj) == 0 )
+            if ( !Wln_ObjIsCio(pNtk, iObj) && !Wln_ObjIsConst(pNtk, iObj) && Wln_ObjInstId(pNtk, iObj) == 0 )
                 printf( "Warning: Object %d of type %s has zero delay. Retiming will not work correctly.\n", iObj, Abc_OperName(Wln_ObjType(pNtk, iObj)) );
     }
     else