From 6fd29922d347b05085814f4524b3fd6322578282 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 20 Jun 2011 13:16:23 -0700 Subject: Added permute/unpermute. --- src/base/abci/abc.c | 4 ++-- 1 file 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; } -- cgit v1.2.3