diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 13:45:30 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 13:45:30 +0700 |
| commit | 3ab9683d26246be83cc3f775a6b469785f12b775 (patch) | |
| tree | 4f6f1191443575df0cea5c3b53a0679f764c6913 | |
| parent | 4ca6612821a1f4506b7b2f2d534e720c43b766c2 (diff) | |
| download | abc-3ab9683d26246be83cc3f775a6b469785f12b775.tar.gz abc-3ab9683d26246be83cc3f775a6b469785f12b775.tar.bz2 abc-3ab9683d26246be83cc3f775a6b469785f12b775.zip | |
Added support for constraints in AIGER (bug fix).
| -rw-r--r-- | src/aig/gia/giaAiger.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 69b3bb39..453db141 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -799,7 +799,12 @@ Gia_Man_t * Gia_ReadAigerFromMemory( char * pContents, int nFileSize, int fCheck { // get the terminal type if ( *pCur == 'i' || *pCur == 'l' ) + { + // skip till the end of the line + while ( *pCur++ != '\n' ); + *(pCur-1) = 0; continue; + } if ( *pCur != 'o' ) { fprintf( stdout, "Wrong terminal type.\n" ); |