diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-26 10:39:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-04-26 10:39:54 -0700 |
commit | 0fc56e71997b09fef9cc35f2e3423df723e1e9ce (patch) | |
tree | 4a7b7c1183ef2ae11585f3c943748251d566dca7 /src/base/wln/wlnCom.c | |
parent | c68fcae4457bddd80cd3d077a39b6e3381bbd37b (diff) | |
download | abc-0fc56e71997b09fef9cc35f2e3423df723e1e9ce.tar.gz abc-0fc56e71997b09fef9cc35f2e3423df723e1e9ce.tar.bz2 abc-0fc56e71997b09fef9cc35f2e3423df723e1e9ce.zip |
Experiments with word-level data structures.
Diffstat (limited to 'src/base/wln/wlnCom.c')
-rw-r--r-- | src/base/wln/wlnCom.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/wln/wlnCom.c b/src/base/wln/wlnCom.c index f3adaf08..0314fff3 100644 --- a/src/base/wln/wlnCom.c +++ b/src/base/wln/wlnCom.c @@ -220,7 +220,7 @@ usage: ******************************************************************************/ int Abc_CommandGraft( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Wln_LibGraftOne( Rtl_Lib_t * p, char * pModule1, char * pModule2, int fInv, int fVerbose ); + extern void Wln_LibGraftOne( Rtl_Lib_t * p, char ** pModules, int nModules, int fInv, int fVerbose ); Rtl_Lib_t * pLib = Wln_AbcGetRtl(pAbc); char ** pArgvNew; int nArgcNew; int c, fInv = 0, fVerbose = 0; @@ -248,12 +248,12 @@ int Abc_CommandGraft( Abc_Frame_t * pAbc, int argc, char ** argv ) } pArgvNew = argv + globalUtilOptind; nArgcNew = argc - globalUtilOptind; - if ( nArgcNew != 2 ) + if ( nArgcNew != 0 && nArgcNew != 2 ) { Abc_Print( -1, "Abc_CommandGraft(): This command expects one AIG file name on the command line.\n" ); return 1; } - Wln_LibGraftOne( pLib, pArgvNew[0], pArgvNew[1], fInv, fVerbose ); + Wln_LibGraftOne( pLib, pArgvNew, nArgcNew, fInv, fVerbose ); return 0; usage: Abc_Print( -2, "usage: %%graft [-ivh] <module1_name> <module2_name>\n" ); @@ -302,7 +302,7 @@ int Abc_CommandHierarchy( Abc_Frame_t * pAbc, int argc, char ** argv ) } pArgvNew = argv + globalUtilOptind; nArgcNew = argc - globalUtilOptind; - if ( nArgcNew < 1 ) + if ( nArgcNew < 0 ) { Abc_Print( -1, "Abc_CommandHierarchy(): This command expects one AIG file name on the command line.\n" ); return 1; |