luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Patching ABC for Yosys.

This commit is contained in:
Alan Mishchenko 2013-11-27 18:53:22 -08:00
parent 9cbba3cce7
commit 55ba5a3e4c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/base/abci/abc.c
View File

@ -10738,7 +10738,7 @@ int Abc_CommandSenseInput( Abc_Frame_t * pAbc, int argc, char ** argv )
usage:
Abc_Print( -2, "usage: senseinput [-C num] [-vh]\n" );
Abc_Print( -2, "\t computes sensitivity of POs to PIs under constraint\n" );
Abc_Print( -2, "\t constraint should be represented as the last PO" );
Abc_Print( -2, "\t constraint should be represented as the last PO\n" );
Abc_Print( -2, "\t-C num : the max number of conflicts at a node [default = %d]\n", nConfLim );
Abc_Print( -2, "\t-v : toggle printing verbose information [default = %s]\n", fVerbose? "yes": "no" );
Abc_Print( -2, "\t-h : print the command usage\n");
@ -23627,7 +23627,7 @@ usage:
Abc_Print( -2, "\t-h : print the command usage\n");
Abc_Print( -2, "\t \n" );
Abc_Print( -2, "\t This command was contributed by Hadi Katebi from U Michigan." );
Abc_Print( -2, "\t This command was contributed by Hadi Katebi from U Michigan.\n" );
Abc_Print( -2, "\t The paper describing the method: H. Katebi, K. Sakallah and\n");
Abc_Print( -2, "\t I. L. Markov.\n" );
Abc_Print( -2, "\t \"Generalized Boolean Symmetries Through Nested Partition\n");