diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-04-15 11:42:56 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-04-15 11:42:56 +0200 |
| commit | 43a15df9516ca5e3c38f348cb73eb0dc69c6fdcc (patch) | |
| tree | 3544484c4522a6cbe8861bd657867c9193161ed7 /src | |
| parent | b29e8a777bd2b16e891da323485e7473d9843039 (diff) | |
| download | abc-43a15df9516ca5e3c38f348cb73eb0dc69c6fdcc.tar.gz abc-43a15df9516ca5e3c38f348cb73eb0dc69c6fdcc.tar.bz2 abc-43a15df9516ca5e3c38f348cb73eb0dc69c6fdcc.zip | |
Fix for unhandled aiw file commands
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/io/io.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 03443e95..27742664 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -712,7 +712,7 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex, Buffer = ABC_ALLOC( char, MaxLine ); while ( fgets( Buffer, MaxLine, pFile ) != NULL ) { - if ( Buffer[0] == '#' ) + if ( Buffer[0] == '#' || Buffer[0] == 'c' || Buffer[0] == 'f' || Buffer[0] == 'u' ) continue; Buffer[strlen(Buffer) - 1] = '\0'; if (state==0 && strlen(Buffer)>1) { @@ -722,7 +722,7 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex, iPo = 0; status = 1; } - if (state==1 && Buffer[0]!='b' && Buffer[0]!='c') { + if (state==1 && Buffer[0]!='b' && Buffer[0]!='j') { // old format detected, first line was actually register *fOldFormat = 1; state = 3; |