diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-26 08:50:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-26 08:50:15 -0700 |
| commit | 74c9a068eb70a50ca7d03f069d1a20942e372eb6 (patch) | |
| tree | 523eb4daafd3fc9903895fff5d8e975f31614cb1 | |
| parent | 27383e8be2b40067db6367c4494fef71b57d7577 (diff) | |
| download | abc-74c9a068eb70a50ca7d03f069d1a20942e372eb6.tar.gz abc-74c9a068eb70a50ca7d03f069d1a20942e372eb6.tar.bz2 abc-74c9a068eb70a50ca7d03f069d1a20942e372eb6.zip | |
Updated version of LMS code.
| -rw-r--r-- | src/base/abci/abcRec2.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abcRec2.c b/src/base/abci/abcRec2.c index 352cf0e5..c84ea3ea 100644 --- a/src/base/abci/abcRec2.c +++ b/src/base/abci/abcRec2.c @@ -1552,6 +1552,7 @@ timeBuild = clock(); } // build the node and compute its truth table + assert( Vec_PtrSize(vNodes) > 0 ); nNodesBeg = Gia_ManObjNum( pAig ); Vec_PtrForEachEntryStart( If_Obj_t *, vNodes, pIfObj, i, nLeaves ) { |