From 11c5c81037857b0b1ef0e6e271c2b18572b40bfe Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 6 Oct 2012 18:33:54 -0700 Subject: New AIG optimization package. --- src/opt/dau/dauDsd.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src') diff --git a/src/opt/dau/dauDsd.c b/src/opt/dau/dauDsd.c index cd662556..e2e52cb2 100644 --- a/src/opt/dau/dauDsd.c +++ b/src/opt/dau/dauDsd.c @@ -147,8 +147,8 @@ word Dau_DsdToTruth( char * p ) void Dau_DsdTest2() { // char * p = Abc_UtilStrsav( "!(ab!(de[cf]))" ); - char * p = Abc_UtilStrsav( "!(a![d]b)" ); - word t = Dau_DsdToTruth( p ); +// char * p = Abc_UtilStrsav( "!(a![d]b)" ); +// word t = Dau_DsdToTruth( p ); } @@ -450,9 +450,9 @@ void Dau_DsdTestOne( word t, int i ) printf( "Verification failed. " ); printf( "%8d : ", i ); printf( "%30s ", p ); - Kit_DsdPrintFromTruth( (unsigned *)&t, 6 ); - printf( " " ); - Kit_DsdPrintFromTruth( (unsigned *)&t2, 6 ); +// Kit_DsdPrintFromTruth( (unsigned *)&t, 6 ); +// printf( " " ); +// Kit_DsdPrintFromTruth( (unsigned *)&t2, 6 ); printf( "\n" ); } } -- cgit v1.2.3