diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-22 22:49:36 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-22 22:49:36 -0800 |
commit | 82eead0817c72c5188422d2e4383690d189e8504 (patch) | |
tree | 2ffe4458b4374c9cf0438a382410919b04ef03c5 /src/base | |
parent | f86cfc937e61c04af6cba680af52e176a20f8842 (diff) | |
download | abc-82eead0817c72c5188422d2e4383690d189e8504.tar.gz abc-82eead0817c72c5188422d2e4383690d189e8504.tar.bz2 abc-82eead0817c72c5188422d2e4383690d189e8504.zip |
Experiments with memory abstraction.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/wlc/wlcBlast.c | 2 | ||||
-rw-r--r-- | src/base/wlc/wlcCom.c | 2 | ||||
-rw-r--r-- | src/base/wln/wlnWlc.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 6ce53cdf..aa10c6af 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -2188,7 +2188,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn ) for ( i = 0; i < Length; i++ ) { char Buffer[100]; - sprintf( Buffer, "%c%s", p->pInits[i], Vec_PtrEntry(pNew->vNamesIn, NameStart+i) ); + sprintf( Buffer, "%c%s", p->pInits[i], (char *)Vec_PtrEntry(pNew->vNamesIn, NameStart+i) ); assert( Vec_PtrEntry(pNew->vNamesIn, NullStart+i) == NULL ); Vec_PtrWriteEntry( pNew->vNamesIn, NullStart+i, Abc_UtilStrsav(Buffer) ); } diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c index 7e39fd32..d785caf0 100644 --- a/src/base/wlc/wlcCom.c +++ b/src/base/wlc/wlcCom.c @@ -1811,7 +1811,7 @@ usage: int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { extern void Wlc_NtkSimulateTest( Wlc_Ntk_t * p ); - Wlc_Ntk_t * pNtk = Wlc_AbcGetNtk(pAbc); + //Wlc_Ntk_t * pNtk = Wlc_AbcGetNtk(pAbc); int c, fVerbose = 0; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "vh" ) ) != EOF ) diff --git a/src/base/wln/wlnWlc.c b/src/base/wln/wlnWlc.c index 6de55de4..9f4566c4 100644 --- a/src/base/wln/wlnWlc.c +++ b/src/base/wln/wlnWlc.c @@ -44,7 +44,7 @@ extern int Ndr_TypeWlc2Ndr( int Type ); SeeAlso [] ***********************************************************************/ -char * Wln_ConstFromBits( unsigned * pBits, int nBits ) +char * Wln_ConstFromBits( int * pBits, int nBits ) { char * pBuffer = ABC_ALLOC( char, nBits+100 ); int i, Len; sprintf( pBuffer, "%d\'b", nBits ); |