diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 20:44:13 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 20:44:13 +0700 |
commit | 4e9f972489604b13ba076b1f0297d4ccc9a06b1d (patch) | |
tree | fa1484cc82a01346fbda3658e4eae7cf244d81c9 /src/base | |
parent | 8af417bab756ea1cf19be551723a58bdb44516c9 (diff) | |
download | abc-4e9f972489604b13ba076b1f0297d4ccc9a06b1d.tar.gz abc-4e9f972489604b13ba076b1f0297d4ccc9a06b1d.tar.bz2 abc-4e9f972489604b13ba076b1f0297d4ccc9a06b1d.zip |
Changes to enable CEX minimization.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abc.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 54f6a1ff..5e9041b1 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -20701,11 +20701,12 @@ int Abc_CommandCexMin( Abc_Frame_t * pAbc, int argc, char ** argv ) else if ( iPoOld != pAbc->pCex->iPo ) Abc_Print( 0, "Main AIG: The cex refined PO %d instead of PO %d.\n", pAbc->pCex->iPo, iPoOld ); // perform minimization -// vCexNew = Saig_ManCexMinPerform( pAig, pAbc->pCex ); + vCexNew = Saig_ManCexMinPerform( pAig, pAbc->pCex ); Aig_ManStop( pAig ); + Abc_CexFree( vCexNew ); // Abc_FrameReplaceCex( pAbc, &vCexNew ); - printf( "Implementation of this command is not finished.\n" ); +// printf( "Implementation of this command is not finished.\n" ); } return 0; |