diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-12 11:56:31 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-04-12 11:56:31 -0700 |
| commit | de82737e26f71e3860f8e22c964f893d23d75ae4 (patch) | |
| tree | 77735728c0db40937d179e142b6aaf4bec388675 /src/aig/gia/giaQbf.c | |
| parent | 34ae42495b628859aca60e67032ba1c5659a4029 (diff) | |
| download | abc-de82737e26f71e3860f8e22c964f893d23d75ae4.tar.gz abc-de82737e26f71e3860f8e22c964f893d23d75ae4.tar.bz2 abc-de82737e26f71e3860f8e22c964f893d23d75ae4.zip | |
QBF-based code generation.
Diffstat (limited to 'src/aig/gia/giaQbf.c')
| -rw-r--r-- | src/aig/gia/giaQbf.c | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/aig/gia/giaQbf.c b/src/aig/gia/giaQbf.c index 1539fa29..479a3d6d 100644 --- a/src/aig/gia/giaQbf.c +++ b/src/aig/gia/giaQbf.c @@ -302,10 +302,10 @@ void Gia_Gen2CodePrint( int nLutSize, int nLutNum, Vec_Int_t * vCode ) { int Code = Gia_Gen2CodeOne( nLutSize, nLutNum, vCode, i ); printf( "%3d ", i ); - Extra_PrintBinary( stdout, &i, nLutSize ); + Extra_PrintBinary( stdout, (unsigned *)&i, nLutSize ); printf( " --> " ); printf( "%3d ", Code ); - Extra_PrintBinary( stdout, &Code, nLutNum ); + Extra_PrintBinary( stdout, (unsigned *)&Code, nLutNum ); printf( "\n" ); } // create several different pairs @@ -330,21 +330,21 @@ void Gia_Gen2CodePrint( int nLutSize, int nLutNum, Vec_Int_t * vCode ) printf( "%2d :", n ); printf( " x =%3d ", NumX ); - Extra_PrintBinary( stdout, &NumX, nLutSize ); + Extra_PrintBinary( stdout,(unsigned *) &NumX, nLutSize ); printf( " y =%3d ", NumY ); - Extra_PrintBinary( stdout, &NumY, nLutSize ); + Extra_PrintBinary( stdout, (unsigned *)&NumY, nLutSize ); printf( " nand =%3d ", NumXY ); - Extra_PrintBinary( stdout, &NumXY, nLutSize ); + Extra_PrintBinary( stdout, (unsigned *)&NumXY, nLutSize ); printf( " " ); printf( " c(x) =%3d ", CodeX ); - Extra_PrintBinary( stdout, &CodeX, nLutNum ); + Extra_PrintBinary( stdout, (unsigned *)&CodeX, nLutNum ); printf( " c(y) =%3d ", CodeY ); - Extra_PrintBinary( stdout, &CodeY, nLutNum ); + Extra_PrintBinary( stdout, (unsigned *)&CodeY, nLutNum ); printf( " c(nand) =%3d ", CodeXY ); - Extra_PrintBinary( stdout, &CodeXY, nLutNum ); + Extra_PrintBinary( stdout, (unsigned *)&CodeXY, nLutNum ); printf( " nand(c(x), c(y)) =%3d ", CodeXCodeY ); - Extra_PrintBinary( stdout, &CodeXCodeY, nLutNum ); + Extra_PrintBinary( stdout, (unsigned *)&CodeXCodeY, nLutNum ); printf( " " ); printf( "%s", CodeXCodeY == CodeXY ? "yes" : "no" ); |