diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-23 22:52:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-23 22:52:30 -0700 |
| commit | 3abd9773a4bf21bb6b7edda15be17de1f8b3ecc8 (patch) | |
| tree | c8e58310baf015b7c7d452ee9caf99ffbada88f3 /src/base/abci/abcDar.c | |
| parent | 1c31dbe7861e1b5313dd6de8c34951aeb5e4b35c (diff) | |
| download | abc-3abd9773a4bf21bb6b7edda15be17de1f8b3ecc8.tar.gz abc-3abd9773a4bf21bb6b7edda15be17de1f8b3ecc8.tar.bz2 abc-3abd9773a4bf21bb6b7edda15be17de1f8b3ecc8.zip | |
Enabled demitering dual-output miters.
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 466af072..58a9ba19 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -2186,7 +2186,7 @@ int Abc_NtkDarDemiter( Abc_Ntk_t * pNtk ) return 0; } // create file names - pFileNameGeneric = Extra_FileNameGeneric( pNtk->pSpec ); + pFileNameGeneric = Extra_FileNameGeneric( pNtk->pSpec ? pNtk->pSpec : pNtk->pName ); sprintf( pFileName0, "%s%s", pFileNameGeneric, "_part0.aig" ); sprintf( pFileName1, "%s%s", pFileNameGeneric, "_part1.aig" ); ABC_FREE( pFileNameGeneric ); |