diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-10 15:44:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-10 15:44:26 -0700 |
| commit | 4bafc98abadaa034749e1844784021865471966f (patch) | |
| tree | b4d0c419de23f5f9816d55307f8189bf7a2975bd /src | |
| parent | 1c582413dad0bbb2bde2e4edf06e0e1e995cae1b (diff) | |
| download | abc-4bafc98abadaa034749e1844784021865471966f.tar.gz abc-4bafc98abadaa034749e1844784021865471966f.tar.bz2 abc-4bafc98abadaa034749e1844784021865471966f.zip | |
Pass file name correctly.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abcDar.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 381ad110..1870e713 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -160,7 +160,7 @@ Aig_Man_t * Abc_NtkToDarBmc( Abc_Ntk_t * pNtk, Vec_Int_t ** pvMap ) pMan->nConstrs = pNtk->nConstrs; pMan->nBarBufs = pNtk->nBarBufs; pMan->pName = Extra_UtilStrsav( pNtk->pName ); - + pMan->pSpec = Extra_UtilStrsav( pNtk->pSpec ); // transfer the pointers to the basic nodes Abc_AigConst1(pNtk)->pCopy = (Abc_Obj_t *)Aig_ManConst1(pMan); Abc_NtkForEachCi( pNtk, pObj, i ) @@ -279,8 +279,8 @@ Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters ) pMan->fCatchExor = fExors; pMan->nConstrs = pNtk->nConstrs; pMan->nBarBufs = pNtk->nBarBufs; - pMan->pName = Extra_UtilStrsav( pNtk->pName ); + pMan->pSpec = Extra_UtilStrsav( pNtk->pSpec ); // transfer the pointers to the basic nodes Abc_AigConst1(pNtk)->pCopy = (Abc_Obj_t *)Aig_ManConst1(pMan); Abc_NtkForEachCi( pNtk, pObj, i ) @@ -359,9 +359,10 @@ Aig_Man_t * Abc_NtkToDarChoices( Abc_Ntk_t * pNtk ) vNodes = Abc_AigDfs( pNtk, 0, 0 ); // create the manager pMan = Aig_ManStart( Abc_NtkNodeNum(pNtk) + 100 ); - pMan->pName = Extra_UtilStrsav( pNtk->pName ); pMan->nConstrs = pNtk->nConstrs; pMan->nBarBufs = pNtk->nBarBufs; + pMan->pName = Extra_UtilStrsav( pNtk->pName ); + pMan->pSpec = Extra_UtilStrsav( pNtk->pSpec ); if ( Abc_NtkGetChoiceNum(pNtk) ) { pMan->pEquivs = ABC_ALLOC( Aig_Obj_t *, Abc_NtkObjNum(pNtk) ); |