diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-20 13:16:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-06-20 13:16:23 -0700 |
| commit | 6fd29922d347b05085814f4524b3fd6322578282 (patch) | |
| tree | 9b1be0bf5d5ba0cf478592d5ef5e2779ed77bddd /src/base | |
| parent | 3b77f2d16d9f2fc5bbec259ba85323af77b60245 (diff) | |
| download | abc-6fd29922d347b05085814f4524b3fd6322578282.tar.gz abc-6fd29922d347b05085814f4524b3fd6322578282.tar.bz2 abc-6fd29922d347b05085814f4524b3fd6322578282.zip | |
Added permute/unpermute.
Diffstat (limited to 'src/base')
| -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 fdf25d70..ae849424 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -20425,8 +20425,8 @@ usage: Abc_Print( -2, "usage: permute [-iofh]\n" ); Abc_Print( -2, "\t performs random permutation of inputs/outputs/flops\n" ); Abc_Print( -2, "\t-i : toggle permuting primary inputs [default = %s]\n", fInputs? "yes": "no" ); - Abc_Print( -2, "\t-o : toggle permuting primary inputs [default = %s]\n", fOutputs? "yes": "no" ); - Abc_Print( -2, "\t-f : toggle permuting primary inputs [default = %s]\n", fFlops? "yes": "no" ); + Abc_Print( -2, "\t-o : toggle permuting primary outputs [default = %s]\n", fOutputs? "yes": "no" ); + Abc_Print( -2, "\t-f : toggle permuting flip-flops [default = %s]\n", fFlops? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); return 1; } |