diff options
| -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 ) { } |