diff options
| -rw-r--r-- | src/base/abci/abcDsd.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abcDsd.c b/src/base/abci/abcDsd.c index 29982468..6d2746f3 100644 --- a/src/base/abci/abcDsd.c +++ b/src/base/abci/abcDsd.c @@ -655,6 +655,7 @@ Abc_Ntk_t * Abc_NtkSparsifyInternal( Abc_Ntk_t * pNtk, int nPerc, int fVerbose ) // onset/offset for ( c = 0; c < 2; c++ ) { + Cudd_Srandom( 0 ); Abc_NtkDupObj( pNtkNew, pDriver, 0 ); Abc_ObjForEachFanin( pDriver, pFanin, k ) Abc_ObjAddFanin( pDriver->pCopy, pFanin->pCopy ); |