Commit 0b73c763 by Alan Mishchenko

Preventing scripts from aborting if reading has failed.

parent 55e9c4d0
......@@ -198,7 +198,7 @@ int IoCommandRead( Abc_Frame_t * pAbc, int argc, char ** argv )
// read the file using the corresponding file reader
pNtk = Io_Read( pFileName, Io_ReadFileType(pFileName), fCheck );
if ( pNtk == NULL )
return 1;
return 0;
// replace the current network
Abc_FrameReplaceCurrentNetwork( pAbc, pNtk );
Abc_FrameCopyLTLDataBase( pAbc, pNtk );
......
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