diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-06 18:33:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-06 18:33:54 -0700 |
| commit | 11c5c81037857b0b1ef0e6e271c2b18572b40bfe (patch) | |
| tree | d5cbd813bbe0837f0d4734245d4c69da481d82ce /src/opt | |
| parent | f66fd3f3a320ca5bbad9860b73c78e8065629ee6 (diff) | |
| download | abc-11c5c81037857b0b1ef0e6e271c2b18572b40bfe.tar.gz abc-11c5c81037857b0b1ef0e6e271c2b18572b40bfe.tar.bz2 abc-11c5c81037857b0b1ef0e6e271c2b18572b40bfe.zip | |
New AIG optimization package.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauDsd.c | 10 |
1 files changed, 5 insertions, 5 deletions
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<ecf>]b)" ); - word t = Dau_DsdToTruth( p ); +// char * p = Abc_UtilStrsav( "!(a![d<ecf>]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" ); } } |