diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 23:48:58 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-17 23:48:58 -0700 |
commit | 61ecc9c633d227160c720d6f0f611cf4e62a9602 (patch) | |
tree | 6ef5fd03f0c66c93af568b38ac268d2f17d4091f /src/base/io/ioReadAiger.c | |
parent | f6fb5600b19396c43a055d2d893dab97b88a41d9 (diff) | |
download | abc-61ecc9c633d227160c720d6f0f611cf4e62a9602.tar.gz abc-61ecc9c633d227160c720d6f0f611cf4e62a9602.tar.bz2 abc-61ecc9c633d227160c720d6f0f611cf4e62a9602.zip |
Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties).
Diffstat (limited to 'src/base/io/ioReadAiger.c')
-rw-r--r-- | src/base/io/ioReadAiger.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c index c063f337..b936ceb2 100644 --- a/src/base/io/ioReadAiger.c +++ b/src/base/io/ioReadAiger.c @@ -328,7 +328,7 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck ) } if ( nJust || nFair ) { - fprintf( stdout, "Reading AIGER files with liveness properties are currently not supported.\n" ); + fprintf( stdout, "Reading AIGER files with liveness properties is currently not supported.\n" ); ABC_FREE( pContents ); return NULL; } @@ -424,10 +424,10 @@ Abc_Ntk_t * Io_ReadAiger( char * pFileName, int fCheck ) if ( *pCur == ' ' ) // read initial value { pCur++; - if ( atoi( pCur ) == 1 ) - Abc_LatchSetInit1( Abc_NtkBox(pNtkNew, i) ); - else if ( atoi( pCur ) == 0 ) + if ( atoi( pCur ) == 0 ) Abc_LatchSetInit0( Abc_NtkBox(pNtkNew, i) ); + else if ( atoi( pCur ) == 1 ) + Abc_LatchSetInit1( Abc_NtkBox(pNtkNew, i) ); else Abc_LatchSetInitDc( Abc_NtkBox(pNtkNew, i) ); while ( *pCur != ' ' && *pCur != '\n' ) pCur++; |