diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 12:22:58 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-21 12:22:58 -0800 |
| commit | f33c3007b2641f6f17c3511cb6f56d68d0b05453 (patch) | |
| tree | 608b591a890beabfce474398ecf81be44086546b /src/sat/bmc/bmcUnroll.c | |
| parent | dd52905fa394bb276cee1442c680f8c02937b7fb (diff) | |
| download | abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.gz abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.tar.bz2 abc-f33c3007b2641f6f17c3511cb6f56d68d0b05453.zip | |
Compiler warnings.
Diffstat (limited to 'src/sat/bmc/bmcUnroll.c')
| -rw-r--r-- | src/sat/bmc/bmcUnroll.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/bmc/bmcUnroll.c b/src/sat/bmc/bmcUnroll.c index b9c414ca..c4a5a265 100644 --- a/src/sat/bmc/bmcUnroll.c +++ b/src/sat/bmc/bmcUnroll.c @@ -210,7 +210,7 @@ void Unr_ManSetup( Unr_Man_t * p ) // create const0 node pUnrObj = Unr_ManObj( p, pInts - p->pObjs ); pUnrObj->RankMax = 1; - pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = UNR_DIFF_NULL; + pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = (unsigned)UNR_DIFF_NULL; pUnrObj->Res[0] = 0; // const0 pInts += sizeof(Unr_Obj_t) / sizeof(int); // mark up the entries @@ -224,7 +224,7 @@ void Unr_ManSetup( Unr_Man_t * p ) { pObj = Gia_ManObj( p->pGia, iObj ); pUnrObj = Unr_ManObj( p, pInts - p->pObjs ); - pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = UNR_DIFF_NULL; + pUnrObj->uRDiff0 = pUnrObj->uRDiff1 = (unsigned)UNR_DIFF_NULL; if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) ) { pUnrObj->hFan0 = Vec_IntEntry( vMap, Gia_ObjFaninId0(pObj, iObj) ); @@ -433,7 +433,7 @@ Gia_Man_t * Unr_ManUnrollSimple( Gia_Man_t * pGia, int nFrames ) void Unr_ManTest( Gia_Man_t * pGia ) { // Gia_Man_t * pFrames0, * pFrames1; - int nFrames = 10; +// int nFrames = 10; Unr_Man_t * p; p = Unr_ManAlloc( pGia ); Unr_ManSetup( p ); |