diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-07 17:15:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-04-07 17:15:24 -0700 |
| commit | 887f3c21cc69f4625228cca05016a97d6927aac1 (patch) | |
| tree | 733e75b6b40895b3d4d3e42e670740ec2e0fe825 /src/base/abci | |
| parent | f05986f7b393f570b486a0d7e5cb203e66dac1f8 (diff) | |
| download | abc-887f3c21cc69f4625228cca05016a97d6927aac1.tar.gz abc-887f3c21cc69f4625228cca05016a97d6927aac1.tar.bz2 abc-887f3c21cc69f4625228cca05016a97d6927aac1.zip | |
Supporting edges in delay-optimization in &satlut.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 407cadc9..34e1a177 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -34896,7 +34896,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9SatLut( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Gia_ManLutSat( Gia_Man_t * p, int nNumber, int nImproves, int nBTLimit, int DelayMax, int nEdges, int fDelay, int fReverse, int fVeryVerbose, int fVerbose ); + extern void Gia_ManLutSat( Gia_Man_t * p, int nNumber, int nImproves, int nBTLimit, int DelayMax, int nEdges, int fDelay, int fReverse, int fVerbose, int fVeryVerbose ); int c, nNumber = 32, nImproves = 0, nBTLimit = 100, DelayMax = 0, nEdges = 0; int fDelay = 0, fReverse = 0, fVeryVerbose = 0, fVerbose = 0; Extra_UtilGetoptReset(); @@ -34985,7 +34985,7 @@ int Abc_CommandAbc9SatLut( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( Gia_ManLutSizeMax(pAbc->pGia) > 4 ) Abc_Print( 0, "Current AIG is mapped into %d-LUTs (only 4-LUT mapping is currently supported).\n", Gia_ManLutSizeMax(pAbc->pGia) ); else - Gia_ManLutSat( pAbc->pGia, nNumber, nImproves, nBTLimit, DelayMax, nEdges, fDelay, fReverse, fVeryVerbose, fVerbose ); + Gia_ManLutSat( pAbc->pGia, nNumber, nImproves, nBTLimit, DelayMax, nEdges, fDelay, fReverse, fVerbose, fVeryVerbose ); return 0; usage: |