From 37a3e07d916a85de75e63f68401aafbcbde04ffc Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 15 May 2012 15:36:51 +0700 Subject: Prevent network from being unmapped after equivalence checking. --- src/base/abc/abcUtil.c | 6 ++++-- 1 file 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 ) -- cgit v1.2.3