diff options
author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-27 14:31:59 -0800 |
---|---|---|
committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-27 14:31:59 -0800 |
commit | 9195192f65bed0c5f3ca2fd8f8b51b34b94f47b3 (patch) | |
tree | fa502294f5db24538c5983734592cffd9003a958 /src/base/wlc/wlcCom.c | |
parent | bb3eacf480360a51ea2c131bb4b4feff213d3170 (diff) | |
download | abc-9195192f65bed0c5f3ca2fd8f8b51b34b94f47b3.tar.gz abc-9195192f65bed0c5f3ca2fd8f8b51b34b94f47b3.tar.bz2 abc-9195192f65bed0c5f3ca2fd8f8b51b34b94f47b3.zip |
%pdra -L: now applies to all types
Diffstat (limited to 'src/base/wlc/wlcCom.c')
-rw-r--r-- | src/base/wlc/wlcCom.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c index 0528b4c4..0bad60bf 100644 --- a/src/base/wlc/wlcCom.c +++ b/src/base/wlc/wlcCom.c @@ -527,9 +527,9 @@ int Abc_CommandPdrAbs( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "Command line switch \"-L\" should be followed by an integer.\n" ); goto usage; } - pPars->nMuxLimit = atoi(argv[globalUtilOptind]); + pPars->nLimit = atoi(argv[globalUtilOptind]); globalUtilOptind++; - if ( pPars->nMuxLimit < 0 ) + if ( pPars->nLimit < 0 ) goto usage; break; case 'a': @@ -577,7 +577,7 @@ usage: Abc_Print( -2, "\t-X num : minimum bit-width of a MUX operator to abstract [default = %d]\n", pPars->nBitsMux ); Abc_Print( -2, "\t-F num : minimum bit-width of a flip-flop to abstract [default = %d]\n", pPars->nBitsFlop ); Abc_Print( -2, "\t-I num : maximum number of CEGAR iterations [default = %d]\n", pPars->nIterMax ); - Abc_Print( -2, "\t-L num : maximum number of muxes [default = %d]\n", pPars->nMuxLimit ); + Abc_Print( -2, "\t-L num : maximum number of each type of signals [default = %d]\n", pPars->nLimit ); Abc_Print( -2, "\t-x : toggle XORing outputs of word-level miter [default = %s]\n", pPars->fXorOutput? "yes": "no" ); Abc_Print( -2, "\t-a : toggle running pdr with -nct [default = %s]\n", pPars->fPdra? "yes": "no" ); Abc_Print( -2, "\t-b : toggle using proof-based refinement [default = %s]\n", pPars->fProofRefine? "yes": "no" ); |