diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-03 20:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-03 20:01:00 -0700 |
commit | 69b5bcad56f9352eea80d3e9b5e1322782522059 (patch) | |
tree | 9381d7ce208e93fc82efc5606bcd59ec1dbed765 /src/base/io/io.c | |
parent | 087951655efdc20b5b4beb64b15edf86a27850a8 (diff) | |
download | abc-69b5bcad56f9352eea80d3e9b5e1322782522059.tar.gz abc-69b5bcad56f9352eea80d3e9b5e1322782522059.tar.bz2 abc-69b5bcad56f9352eea80d3e9b5e1322782522059.zip |
Version abc80403_2
Diffstat (limited to 'src/base/io/io.c')
-rw-r--r-- | src/base/io/io.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index e1ff3b08..6b802bf1 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -1408,7 +1408,7 @@ int IoCommandWriteBench( Abc_Frame_t * pAbc, int argc, char **argv ) // call the corresponding file writer if ( !fUseLuts ) Io_Write( pAbc->pNtkCur, pFileName, IO_FILE_BENCH ); - else + else if ( pAbc->pNtkCur ) { Abc_Ntk_t * pNtkTemp; pNtkTemp = Abc_NtkToNetlist( pAbc->pNtkCur ); @@ -1416,6 +1416,8 @@ int IoCommandWriteBench( Abc_Frame_t * pAbc, int argc, char **argv ) Io_WriteBenchLut( pNtkTemp, pFileName ); Abc_NtkDelete( pNtkTemp ); } + else + printf( "There is no current network.\n" ); return 0; usage: |