diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-15 18:27:02 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-15 18:27:02 -0800 |
| commit | 7786cb24eac71b1c6fe492227b7a298ca846b23e (patch) | |
| tree | 18c87d4c0819c07befb5b030840a3974952d5c4f | |
| parent | 36e5badf055e28a0f6560e9e55bfc4e1df6fec79 (diff) | |
| download | abc-7786cb24eac71b1c6fe492227b7a298ca846b23e.tar.gz abc-7786cb24eac71b1c6fe492227b7a298ca846b23e.tar.bz2 abc-7786cb24eac71b1c6fe492227b7a298ca846b23e.zip | |
Procedures to generate constant-argument multipliers.
| -rw-r--r-- | src/base/abci/abc.c | 9 | ||||
| -rw-r--r-- | src/misc/extra/extraUtilCfs.c | 2 |
2 files changed, 8 insertions, 3 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 7adc8ca2..d9c34801 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -45533,7 +45533,7 @@ usage: ***********************************************************************/ int Abc_CommandAbc9Cfs( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Extra_CommandCfs( int Limit, int Reps, int UnseenUse, int RareUse, int fVerbose ); + extern void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fVerbose ); int Limit = 0; int Reps = 1; int UnseenUse = 2; @@ -45597,7 +45597,12 @@ int Abc_CommandAbc9Cfs( Abc_Frame_t * pAbc, int argc, char ** argv ) goto usage; } } - Extra_CommandCfs( Limit, Reps, UnseenUse, RareUse, fVerbose ); + if ( pAbc->pGia == NULL ) + { + Abc_Print( -1, "Abc_CommandAbc9Cfs(): There is no AIG.\n" ); + return 1; + } + Extra_CommandCfs( pAbc->pGia, Limit, Reps, UnseenUse, RareUse, fVerbose ); return 0; usage: diff --git a/src/misc/extra/extraUtilCfs.c b/src/misc/extra/extraUtilCfs.c index 3d3dbd17..b21dc445 100644 --- a/src/misc/extra/extraUtilCfs.c +++ b/src/misc/extra/extraUtilCfs.c @@ -48,7 +48,7 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -void Extra_CommandCfs( int Limit, int Reps, int UnseenUse, int RareUse, int fVerbose ) +void Extra_CommandCfs( Gia_Man_t * pGia, int Limit, int Reps, int UnseenUse, int RareUse, int fVerbose ) { } |