diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-27 12:28:30 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-27 12:28:30 -0800 |
commit | 9cbba3cce75a9adb3550afb87580ced929ff9e4d (patch) | |
tree | 7545becb04c817d78fe69110060dbb69915a1b47 | |
parent | e73e5438ca483866096bdc82ab43ac290549b7c9 (diff) | |
download | abc-9cbba3cce75a9adb3550afb87580ced929ff9e4d.tar.gz abc-9cbba3cce75a9adb3550afb87580ced929ff9e4d.tar.bz2 abc-9cbba3cce75a9adb3550afb87580ced929ff9e4d.zip |
Patching ABC for Yosys.
-rw-r--r-- | src/base/abci/abc.c | 4 | ||||
-rw-r--r-- | src/base/cmd/cmdUtils.c | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index ed42e7ef..4bd23116 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -23370,7 +23370,7 @@ usage: Abc_Print( -2, "\t The paper describing the method: H. Katebi and I. L. Markov.\n" ); Abc_Print( -2, "\t \"Large-scale Boolean matching\". Proc. DATE 2010. \n" ); Abc_Print( -2, "\t http://www.eecs.umich.edu/~imarkov/pubs/conf/date10-match.pdf\n" ); - Abc_Print( -2, "\t \n" ); +// Abc_Print( -2, "\t \n" ); return 1; } @@ -23480,7 +23480,7 @@ usage: Abc_Print( -2, "\t \"Generalized Boolean Symmetries Through Nested Partition\n"); Abc_Print( -2, "\t Refinement\". Proc. ICCAD 2013. \n" ); //Abc_Print( -2, "\t http://www.eecs.umich.edu/~imarkov/pubs/conf/date10-match.pdf\n" ); - Abc_Print( -2, "\t \n" ); +// Abc_Print( -2, "\t \n" ); return 1; } diff --git a/src/base/cmd/cmdUtils.c b/src/base/cmd/cmdUtils.c index d86ecf7e..4140680e 100644 --- a/src/base/cmd/cmdUtils.c +++ b/src/base/cmd/cmdUtils.c @@ -603,9 +603,10 @@ void CmdCommandPrint( Abc_Frame_t * pAbc, int fPrintAll, int fDetails ) fprintf( pAbc->Out, "\n" ); for ( j = iGroupStart; j < i; j++ ) { + char *tmp_cmd; fprintf( pAbc->Out, "\n" ); // fprintf( pAbc->Out, "--- %s ---\n", ppCommands[j]->sName ); - char *tmp_cmd = ABC_ALLOC(char, strlen(ppCommands[j]->sName)+4); + tmp_cmd = ABC_ALLOC(char, strlen(ppCommands[j]->sName)+4); (void) sprintf(tmp_cmd, "%s -h", ppCommands[j]->sName); (void) Cmd_CommandExecute( pAbc, tmp_cmd ); ABC_FREE(tmp_cmd); @@ -629,9 +630,10 @@ void CmdCommandPrint( Abc_Frame_t * pAbc, int fPrintAll, int fDetails ) fprintf( pAbc->Out, "\n" ); for ( j = iGroupStart; j < i; j++ ) { + char *tmp_cmd; fprintf( pAbc->Out, "\n" ); // fprintf( pAbc->Out, "--- %s ---\n", ppCommands[j]->sName ); - char *tmp_cmd = ABC_ALLOC(char, strlen(ppCommands[j]->sName)+4); + tmp_cmd = ABC_ALLOC(char, strlen(ppCommands[j]->sName)+4); (void) sprintf(tmp_cmd, "%s -h", ppCommands[j]->sName); (void) Cmd_CommandExecute( pAbc, tmp_cmd ); ABC_FREE(tmp_cmd); |