diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-11 18:50:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-11 18:50:15 -0700 |
| commit | ae7e286213a03babd7db9ff155f702999bf60b0d (patch) | |
| tree | 8472d9badb064189c4c4db53c4370a1efb2a06f2 | |
| parent | 7171812ff1e63c6c244c7e3fd6564aceb1590de0 (diff) | |
| download | abc-ae7e286213a03babd7db9ff155f702999bf60b0d.tar.gz abc-ae7e286213a03babd7db9ff155f702999bf60b0d.tar.bz2 abc-ae7e286213a03babd7db9ff155f702999bf60b0d.zip | |
Resetting the random seed in 'sparsify'.
| -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 ); |