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

Fixing a corner case bug in 'enlarge'.

This commit is contained in:
Alan Mishchenko 2011-03-05 13:08:39 -08:00
parent 5894637221
commit 5f69ce8b8d
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -19009,7 +19009,7 @@ int Abc_CommandEnlarge( Abc_Frame_t * pAbc, int argc, char ** argv )
}
nFrames = atoi(argv[globalUtilOptind]);
globalUtilOptind++;
if ( nFrames < 0 )
if ( nFrames < 1 )
goto usage;
break;
case 'v':
@ -19048,11 +19048,11 @@ int Abc_CommandEnlarge( Abc_Frame_t * pAbc, int argc, char ** argv )
Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes );
return 0;
usage:
Abc_Print( -2, "usage: enlarge [-F num] [-vh]\n" );
Abc_Print( -2, "\t performs structural K-step target enlargement\n" );
Abc_Print( -2, "\t-F num : the number of timeframes for enlargement [default = %d]\n", nFrames );
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");
Abc_Print( -2, "usage: enlarge [-F <num>] [-vh]\n" );
Abc_Print( -2, "\t performs structural K-step target enlargement\n" );
Abc_Print( -2, "\t-F <num> : the number of timeframes to unroll (<num> > 0) [default = %d]\n", nFrames );
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");
return 1;
}