diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-11 15:54:43 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-05-11 15:54:43 -0700 |
commit | e6a47c3e41486f238be6d798fbf68a83cd11810a (patch) | |
tree | dbd660ccb70be01eae912e6863e72af0603e6938 /src/aig/gia | |
parent | aa9fe1f24094d0423cc32cbd6e9682ea2a3935cb (diff) | |
download | abc-e6a47c3e41486f238be6d798fbf68a83cd11810a.tar.gz abc-e6a47c3e41486f238be6d798fbf68a83cd11810a.tar.bz2 abc-e6a47c3e41486f238be6d798fbf68a83cd11810a.zip |
Disable cube-sort when deriving SOPs.
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaMinLut.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaMinLut.c b/src/aig/gia/giaMinLut.c index a33f9710..1972c175 100644 --- a/src/aig/gia/giaMinLut.c +++ b/src/aig/gia/giaMinLut.c @@ -152,11 +152,11 @@ void Gia_ManSimInfoPrintOne( Gia_Man_t * p, Vec_Wrd_t * vSimsIn, Vec_Wrd_t * vSi { Gia_ManForEachCiId( p, Id, i ) // printf( "%d", Vec_WrdEntry(p->vSims, p->nSimWords*Id) & 1 ); - printf( "%d", (Vec_WrdEntry(vSimsIn, nWords*i) >> k) & 1 ); + printf( "%d", (int)(Vec_WrdEntry(vSimsIn, nWords*i) >> k) & 1 ); printf( " " ); Gia_ManForEachCoId( p, Id, i ) // printf( "%d", Vec_WrdEntry(p->vSims, p->nSimWords*Id) & 1 ); - printf( "%d", (Vec_WrdEntry(vSimsOut, nWords*i) >> k) & 1 ); + printf( "%d", (int)(Vec_WrdEntry(vSimsOut, nWords*i) >> k) & 1 ); printf( "\n" ); } } |