diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-25 15:29:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-25 15:29:01 -0700 |
| commit | 531657105b2d41d0ad4652dce3cca32a3f5b0194 (patch) | |
| tree | 1b4854f5ad58f877269303c95833d8c1380d9973 /src/misc/extra | |
| parent | a55b178729aed0cee447b7a0a6df57e00062adbe (diff) | |
| download | abc-531657105b2d41d0ad4652dce3cca32a3f5b0194.tar.gz abc-531657105b2d41d0ad4652dce3cca32a3f5b0194.tar.bz2 abc-531657105b2d41d0ad4652dce3cca32a3f5b0194.zip | |
Improving DAG-aware unmapping.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraUtilDsd.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/misc/extra/extraUtilDsd.c b/src/misc/extra/extraUtilDsd.c index cf1d3ade..ea95598b 100644 --- a/src/misc/extra/extraUtilDsd.c +++ b/src/misc/extra/extraUtilDsd.c @@ -1214,14 +1214,15 @@ void Sdm_ManDivTest() Vec_WrdForEachEntry( vDivs, u, i ) { printf( "%2d : ", i ); - Kit_DsdPrintFromTruth( (unsigned *)&u, 6 ); printf( "\n" ); +// Kit_DsdPrintFromTruth( (unsigned *)&u, 6 ); + printf( "\n" ); } RetValue = Rsb_ManPerformResub6( pManRsb, 6, t, vDivs, &t0, &t1, 1 ); if ( RetValue ) { - Kit_DsdPrintFromTruth( (unsigned *)&t0, 6 ); printf( "\n" ); - Kit_DsdPrintFromTruth( (unsigned *)&t1, 6 ); printf( "\n" ); +// Kit_DsdPrintFromTruth( (unsigned *)&t0, 6 ); printf( "\n" ); +// Kit_DsdPrintFromTruth( (unsigned *)&t1, 6 ); printf( "\n" ); printf( "Decomposition exits.\n" ); } |