Adding new features to 'dualrail'.

91ca83e8 · Alan Mishchenko · dfe5f511 · 91ca83e8
Commit 91ca83e8 authored Feb 21, 2013 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/base/abci/abcDar.c
+3 -0

No files found.
--- a/src/base/abci/abcDar.c
+++ b/src/base/abci/abcDar.c
@@ -210,7 +210,10 @@ Vec_Int_t * Abc_NtkFindDcLatches( Abc_Ntk_t * pNtk )
    vUnknown = Vec_IntStart( Abc_NtkLatchNum(pNtk) );
    Abc_NtkForEachLatch( pNtk, pObj, i )
        if ( Abc_LatchIsInitDc(pObj) )
+        {
            Vec_IntWriteEntry( vUnknown, i, 1 );
+            Abc_LatchSetInit0(pObj);
+        }
    return vUnknown;
 }