diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 22:26:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 22:26:54 -0700 |
| commit | ee727912938fdba38f08570e4ab961c0fd503dcf (patch) | |
| tree | 762850b27b429eb1d6b6f43cd3e97b5ddb41f0a0 /src/base/abci | |
| parent | 69699da9125fdce50c586d2c13954fb3285ccc2f (diff) | |
| download | abc-ee727912938fdba38f08570e4ab961c0fd503dcf.tar.gz abc-ee727912938fdba38f08570e4ab961c0fd503dcf.tar.bz2 abc-ee727912938fdba38f08570e4ab961c0fd503dcf.zip | |
Improvements to Boolean matching.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 23983869..b99c1049 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -15409,9 +15409,9 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "DSD manager is not available.\n" ); return 1; } - if ( pPars->nLutSize > If_DsdManLutSize(pDsdMan) ) + if ( pPars->nLutSize > If_DsdManVarNum(pDsdMan) ) { - Abc_Print( -1, "LUT size (%d) is more than the number of variables in the DSD manager (%d).\n", pPars->nLutSize, If_DsdManLutSize(pDsdMan) ); + Abc_Print( -1, "LUT size (%d) is more than the number of variables in the DSD manager (%d).\n", pPars->nLutSize, If_DsdManVarNum(pDsdMan) ); return 1; } pPars->fCutMin = 1; @@ -31280,9 +31280,9 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "DSD manager is not available.\n" ); return 1; } - if ( pPars->nLutSize > If_DsdManLutSize(pDsdMan) ) + if ( pPars->nLutSize > If_DsdManVarNum(pDsdMan) ) { - Abc_Print( -1, "LUT size (%d) is more than the number of variables in the DSD manager (%d).\n", pPars->nLutSize, If_DsdManLutSize(pDsdMan) ); + Abc_Print( -1, "LUT size (%d) is more than the number of variables in the DSD manager (%d).\n", pPars->nLutSize, If_DsdManVarNum(pDsdMan) ); return 1; } pPars->fCutMin = 1; |