diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-28 23:06:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-28 23:06:07 -0700 |
| commit | 051cc64ee2f22435772e569b201b0e436b061578 (patch) | |
| tree | 5933d462ad159ed48b7d2a34e9f9b5b5bfceed41 /src/base/abci | |
| parent | 311486d91037ceebea5402c2c8ed7b12bf7fb734 (diff) | |
| download | abc-051cc64ee2f22435772e569b201b0e436b061578.tar.gz abc-051cc64ee2f22435772e569b201b0e436b061578.tar.bz2 abc-051cc64ee2f22435772e569b201b0e436b061578.zip | |
Gate level abstraction (command &gla).
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 2b0bd0af..c6784fd6 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -27372,6 +27372,7 @@ int Abc_CommandAbc9Gla( Abc_Frame_t * pAbc, int argc, char ** argv ) Gia_ParVta_t Pars, * pPars = &Pars; int c; Gia_VtaSetDefaultParams( pPars ); + pPars->nFramesStart = 20; pPars->nLearntMax = 100000; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "FSPCLTRAtrdvh" ) ) != EOF ) |