diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-02 01:25:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-02 01:25:53 -0800 |
| commit | 4d67a04b1984727c61c684da455e91dd4b4ae9c7 (patch) | |
| tree | aac994ea9909aa73000399bab47d544b7f881eef /src/base/abci/abcRec3.c | |
| parent | a797ea0cc71bb825403883c4cc237864135b14ab (diff) | |
| download | abc-4d67a04b1984727c61c684da455e91dd4b4ae9c7.tar.gz abc-4d67a04b1984727c61c684da455e91dd4b4ae9c7.tar.bz2 abc-4d67a04b1984727c61c684da455e91dd4b4ae9c7.zip | |
Enabling additional stat printouts.
Diffstat (limited to 'src/base/abci/abcRec3.c')
| -rw-r--r-- | src/base/abci/abcRec3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c index 5e8d74b8..333c3cfa 100644 --- a/src/base/abci/abcRec3.c +++ b/src/base/abci/abcRec3.c @@ -1351,7 +1351,7 @@ void Abc_NtkRecDumpTt3( char * pFileName, int fBinary ) Extra_PrintHex( pFile, (unsigned *)pTruth, nVars ); fprintf( pFile, " " ); // Kit_DsdWriteFromTruth( pBuffer, (unsigned *)pTruth, nVars ); - Dau_DsdDecompose( pTruth, p->nVars, 0, 1, pBuffer ); + Dau_DsdDecompose( pTruth, p->nVars, 0, (int)(nVars <= 10), pBuffer ); fprintf( pFile, "%s\n", pBuffer ); } fclose( pFile ); |