diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abcDec.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index 7b8370cd..7e49beb1 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -399,14 +399,16 @@ Abc_TtStore_t * Abc_TtStoreLoad( char * pFileName, int nVarNum ) Abc_TruthStoreRead( pFileName, p ); } else - { + { char * pBuffer; int nFileSize = Abc_FileSize( pFileName ); int nBytes = (1 << nVarNum); int nTruths = nFileSize / nBytes; if ( nFileSize == -1 ) return NULL; - assert( nFileSize % nBytes == 0 ); + if ( nFileSize % nBytes != 0 ) + Abc_Print( 0, "The file size (%d) is divided by the truth table size (%d) with remainder (%d).\n", + nFileSize, nBytes, nFileSize % nBytes ); // read file contents pBuffer = Abc_FileRead( pFileName ); // allocate data-structure |