diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-11 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-11 08:01:00 -0700 |
| commit | 582cf0b923e0a461c2efdb4ecde9bfdb0716a328 (patch) | |
| tree | 8a1480ebd6e719ea1a4a769a02538ab8ce4dc124 /src/aig/dar/darScript.c | |
| parent | 0f03f34924b64814791347c5dcf0633dd244d341 (diff) | |
| download | abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.tar.gz abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.tar.bz2 abc-582cf0b923e0a461c2efdb4ecde9bfdb0716a328.zip | |
Version abc80511
Diffstat (limited to 'src/aig/dar/darScript.c')
| -rw-r--r-- | src/aig/dar/darScript.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/dar/darScript.c b/src/aig/dar/darScript.c index bc86de20..1354e841 100644 --- a/src/aig/dar/darScript.c +++ b/src/aig/dar/darScript.c @@ -90,7 +90,8 @@ Aig_Man_t * Dar_ManRwsat( Aig_Man_t * pAig, int fBalance, int fVerbose ) Aig_ManStop( pTemp ); if ( fVerbose ) Aig_ManPrintStats( pAig ); } - + +//Aig_ManDumpBlif( pAig, "inter.blif", NULL, NULL ); // rewrite Dar_ManRewrite( pAig, pParsRwr ); pAig = Aig_ManDupDfs( pTemp = pAig ); |