diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-15 15:36:51 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-15 15:36:51 +0700 |
| commit | 37a3e07d916a85de75e63f68401aafbcbde04ffc (patch) | |
| tree | 59a46e96be46c220f76c6080bcfbe7feb170be10 | |
| parent | 54670783e02ef93796d2d4b7bab9ab93ce22b25f (diff) | |
| download | abc-37a3e07d916a85de75e63f68401aafbcbde04ffc.tar.gz abc-37a3e07d916a85de75e63f68401aafbcbde04ffc.tar.bz2 abc-37a3e07d916a85de75e63f68401aafbcbde04ffc.zip | |
Prevent network from being unmapped after equivalence checking.
| -rw-r--r-- | src/base/abc/abcUtil.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c index 286624be..98fdfbfa 100644 --- a/src/base/abc/abcUtil.c +++ b/src/base/abc/abcUtil.c @@ -1446,10 +1446,11 @@ int Abc_NtkPrepareTwoNtks( FILE * pErr, Abc_Ntk_t * pNtk, char ** argv, int argc } else fclose( pFile ); - pNtk1 = pNtk; + pNtk1 = Abc_NtkDup(pNtk); pNtk2 = Io_Read( pNtk->pSpec, Io_ReadFileType(pNtk->pSpec), fCheck ); if ( pNtk2 == NULL ) return 0; + *pfDelete1 = 1; *pfDelete2 = 1; } else if ( argc == util_optind + 1 ) @@ -1459,10 +1460,11 @@ int Abc_NtkPrepareTwoNtks( FILE * pErr, Abc_Ntk_t * pNtk, char ** argv, int argc fprintf( pErr, "Empty current network.\n" ); return 0; } - pNtk1 = pNtk; + pNtk1 = Abc_NtkDup(pNtk); pNtk2 = Io_Read( argv[util_optind], Io_ReadFileType(argv[util_optind]), fCheck ); if ( pNtk2 == NULL ) return 0; + *pfDelete1 = 1; *pfDelete2 = 1; } else if ( argc == util_optind + 2 ) |