diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-01 19:03:39 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-01 19:03:39 -0800 |
| commit | 73496629ec64f409cf504a805410b22164f59032 (patch) | |
| tree | d2cc0b3938a7e1fca99182438c52320c0f401a7b /src/aig/gia/giaSimBase.c | |
| parent | e87869b737880dab9c35fccd810f66ca1aee10b1 (diff) | |
| download | abc-73496629ec64f409cf504a805410b22164f59032.tar.gz abc-73496629ec64f409cf504a805410b22164f59032.tar.bz2 abc-73496629ec64f409cf504a805410b22164f59032.zip | |
Several misc changes.
Diffstat (limited to 'src/aig/gia/giaSimBase.c')
| -rw-r--r-- | src/aig/gia/giaSimBase.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaSimBase.c b/src/aig/gia/giaSimBase.c index db8008e7..ff658eff 100644 --- a/src/aig/gia/giaSimBase.c +++ b/src/aig/gia/giaSimBase.c @@ -857,7 +857,7 @@ Vec_Int_t * Gia_ManSimPatStart( int nItems ) } void Gia_ManSimRelTest( Gia_Man_t * p ) { - int nWords = Vec_WrdSize(p->vSimsPi) / Gia_ManCiNum(p); + //int nWords = Vec_WrdSize(p->vSimsPi) / Gia_ManCiNum(p); Vec_Int_t * vObjs = Gia_ManSimPatStart( 4 ); // can be CI/AND/CO Vec_Wrd_t * vVals = Gia_ManSimPatValues( p ); Vec_Wrd_t * vRel = Gia_ManSimRel( p, vObjs, vVals ); @@ -1075,7 +1075,7 @@ void Gia_SimAbsSolve( Gia_SimAbsMan_t * p ) Vec_IntForEachEntry( p->vResub, iPat, i ) printf( "%4d ", iPat ); for ( ; i < 16; i++ ) - printf( " ", iPat ); + printf( " " ); printf( " " ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk ); } |