diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-27 18:09:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-27 18:09:52 -0700 |
| commit | 9895f30d95f326211a397c75a8964ad5cfd12ad5 (patch) | |
| tree | a710f9b3e82d584eaef0f3c887663b0f4ad66a81 /src/base/abci | |
| parent | a6db8bc1578c2c85326a560fd3d7737932043486 (diff) | |
| download | abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.tar.gz abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.tar.bz2 abc-9895f30d95f326211a397c75a8964ad5cfd12ad5.zip | |
Extending command 'dump_equv' to match inputs by name.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index bbb4e819..74598b4b 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -14893,7 +14893,7 @@ usage: Abc_Print( -2, "\t There is no effort to match primary outputs. Indeed, if two outputs\n" ); Abc_Print( -2, "\t are equivalent, they will belong to the same equivalence class in the end.\n" ); Abc_Print( -2, "\t-C num : the maximum number of conflicts at each node [default = %d]\n", nConfs ); - Abc_Print( -2, "\t-n : enable matching of primary inputs by order [default = %s]\n", fByName? "yes": "no" ); + Abc_Print( -2, "\t-n : enable matching of primary inputs by name [default = %s]\n", fByName? "yes": "no" ); Abc_Print( -2, "\t-v : prints verbose information [default = %s]\n", fVerbose? "yes": "no" ); Abc_Print( -2, "\t-h : print the command usage\n"); Abc_Print( -2, "\t<file1> : first network whose nodes are considered\n" ); |