Induced bug fix in bitblasting of rotation operator.

src/base/cba/cbaCom.c

@@ -34,7 +34,7 @@ static int  Cba_CommandBlast    ( Abc_Frame_t * pAbc, int argc, char ** argv );
 static int  Cba_CommandTest     ( Abc_Frame_t * pAbc, int argc, char ** argv );
 
 static inline Cba_Ntk_t * Cba_AbcGetNtk( Abc_Frame_t * pAbc )                       { return (Cba_Ntk_t *)pAbc->pAbcCba;                      }
-static inline void        Cba_AbcFreeNtk( Abc_Frame_t * pAbc )                      { if ( pAbc->pAbcWlc ) Cba_NtkFree(Cba_AbcGetNtk(pAbc));  }
+static inline void        Cba_AbcFreeNtk( Abc_Frame_t * pAbc )                      { if ( pAbc->pAbcCba ) Cba_NtkFree(Cba_AbcGetNtk(pAbc));  }
 static inline void        Cba_AbcUpdateNtk( Abc_Frame_t * pAbc, Cba_Ntk_t * pNtk )  { Cba_AbcFreeNtk(pAbc); pAbc->pAbcCba = pNtk;             }
 
 ////////////////////////////////////////////////////////////////////////

src/base/wlc/wlcReadVer.c

@@ -485,7 +485,8 @@ static inline char * Wlc_PrsReadConstant( Wlc_Prs_t * p, char * pStr, Vec_Int_t
     {
         // handle decimal number
         int Number = atoi( pStr );
-        *pRange = Abc_Base2Log( Number );
+        *pRange = Abc_Base2Log( Number+1 );
+        assert( *pRange < 32 );
         while ( Wlc_PrsIsDigit(pStr) )
             pStr++;
         Vec_IntFill( vFanins, 1, Number );