From 369b5f479ae28ed67b29ce524c58d2dee8733c7e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 5 Oct 2012 21:02:46 -0700
Subject: Allow for binary input file in 'testdec' and 'testnpn'.

---
 src/base/abci/abcDec.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3