diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-25 08:59:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-25 08:59:24 -0700 |
| commit | 7dc8c81ff61bcd1f2c1548333b6c45cffc122bf7 (patch) | |
| tree | f65a64e51eaad11d36c005ce01c109d479fc0f0d /src/base/abci | |
| parent | a40c13a93cc19ec33a56995619a8acc442ad548c (diff) | |
| download | abc-7dc8c81ff61bcd1f2c1548333b6c45cffc122bf7.tar.gz abc-7dc8c81ff61bcd1f2c1548333b6c45cffc122bf7.tar.bz2 abc-7dc8c81ff61bcd1f2c1548333b6c45cffc122bf7.zip | |
Allow for skipping structural hashing when reading GIA from file.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index e218ad82..da66df65 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -840,6 +840,7 @@ void Abc_Init( Abc_Frame_t * pAbc ) { extern void Dar_LibStart(); + // char * pMem = malloc( (1<<30) * 3 / 2 ); Dar_LibStart(); } { @@ -12731,7 +12732,7 @@ int Abc_CommandRecStart2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } fclose( pFile ); - pGia = Gia_ReadAiger( FileName, 0 ); + pGia = Gia_ReadAiger( FileName, 1, 0 ); if ( pGia == NULL ) { Abc_Print( -1, "Reading AIGER has failed.\n" ); @@ -13079,7 +13080,7 @@ int Abc_CommandRecMerge2( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } fclose( pFile ); - pGia = Gia_ReadAiger( FileName, 0 ); + pGia = Gia_ReadAiger( FileName, 0, 0 ); if ( pGia == NULL ) { Abc_Print( -1, "Reading AIGER has failed.\n" ); @@ -22725,7 +22726,7 @@ int Abc_CommandAbc9Read( Abc_Frame_t * pAbc, int argc, char ** argv ) } fclose( pFile ); - pAig = Gia_ReadAiger( FileName, 0 ); + pAig = Gia_ReadAiger( FileName, 0, 0 ); Abc_CommandUpdate9( pAbc, pAig ); return 0; @@ -25212,7 +25213,7 @@ int Abc_CommandAbc9Miter( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } fclose( pFile ); - pSecond = Gia_ReadAiger( FileName, 0 ); + pSecond = Gia_ReadAiger( FileName, 0, 0 ); if ( pSecond == NULL ) { Abc_Print( -1, "Reading AIGER has failed.\n" ); @@ -26299,7 +26300,7 @@ int Abc_CommandAbc9Cec( Abc_Frame_t * pAbc, int argc, char ** argv ) return 1; } fclose( pFile ); - pSecond = Gia_ReadAiger( FileName, 0 ); + pSecond = Gia_ReadAiger( FileName, 0, 0 ); if ( pSecond == NULL ) { Abc_Print( -1, "Reading AIGER has failed.\n" ); |