Skip to content

A
abc
Commit 37a3e07d by Alan Mishchenko
Options

Prevent network from being unmapped after equivalence checking.

parent 54670783
Showing with 4 additions and 2 deletions
src/base/abc/abcUtil.c
...@@ -1446,10 +1446,11 @@ int Abc_NtkPrepareTwoNtks( FILE * pErr, Abc_Ntk_t * pNtk, char ** argv, int argc ...@@ -1446,10 +1446,11 @@ int Abc_NtkPrepareTwoNtks( FILE * pErr, Abc_Ntk_t * pNtk, char ** argv, int argc
} }
else else
fclose( pFile ); fclose( pFile );
pNtk1 = pNtk; pNtk1 = Abc_NtkDup(pNtk);
pNtk2 = Io_Read( pNtk->pSpec, Io_ReadFileType(pNtk->pSpec), fCheck ); pNtk2 = Io_Read( pNtk->pSpec, Io_ReadFileType(pNtk->pSpec), fCheck );
if ( pNtk2 == NULL ) if ( pNtk2 == NULL )
return 0; return 0;
*pfDelete1 = 1;
*pfDelete2 = 1; *pfDelete2 = 1;
} }
else if ( argc == util_optind + 1 ) else if ( argc == util_optind + 1 )
...@@ -1459,10 +1460,11 @@ int Abc_NtkPrepareTwoNtks( FILE * pErr, Abc_Ntk_t * pNtk, char ** argv, int argc ...@@ -1459,10 +1460,11 @@ int Abc_NtkPrepareTwoNtks( FILE * pErr, Abc_Ntk_t * pNtk, char ** argv, int argc
fprintf( pErr, "Empty current network.\n" ); fprintf( pErr, "Empty current network.\n" );
return 0; return 0;
} }
pNtk1 = pNtk; pNtk1 = Abc_NtkDup(pNtk);
pNtk2 = Io_Read( argv[util_optind], Io_ReadFileType(argv[util_optind]), fCheck ); pNtk2 = Io_Read( argv[util_optind], Io_ReadFileType(argv[util_optind]), fCheck );
if ( pNtk2 == NULL ) if ( pNtk2 == NULL )
return 0; return 0;
*pfDelete1 = 1;
*pfDelete2 = 1; *pfDelete2 = 1;
} }
else if ( argc == util_optind + 2 ) else if ( argc == util_optind + 2 )
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment