diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-05-06 15:49:42 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-05-06 15:49:42 +0200 |
| commit | 09a7e6dac739133a927ae7064d319068ab927f90 (patch) | |
| tree | fd67d36b7f494ab413ebddfb99b8d21c45674cfb /src | |
| parent | 6234e18df79ebd2484eb7d088dffaad61cbfe8ef (diff) | |
| download | abc-09a7e6dac739133a927ae7064d319068ab927f90.tar.gz abc-09a7e6dac739133a927ae7064d319068ab927f90.tar.bz2 abc-09a7e6dac739133a927ae7064d319068ab927f90.zip | |
distinquish between old and new format as well
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/io/io.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 7ad057df..a55a3064 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -804,10 +804,10 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex, Abc_NtkForEachPo(pNtk, pObj, i ) nPoNtk++; if ( nRegs < 0 ) { - if (status == 1) - printf( "ERROR: Cannot read register number.\n" ); - else + if (status == 0 || *fOldFormat == 0) printf( "Counter-example is not available.\n" ); + else + printf( "ERROR: Cannot read register number.\n" ); Vec_IntFree( vNums ); return -1; } |