Adding switch -N to 'super' to set an upper bound on the number of supergates generated.

This commit is contained in:
Alan Mishchenko 2012-03-01 11:18:35 -08:00
parent b90f1c73ae
commit 2b39d60f6e
1 changed files with 1 additions and 1 deletions

View File

@ -169,7 +169,7 @@ int Super_CommandSupergates( Abc_Frame_t * pAbc, int argc, char **argv )
nLevels = 3;
DelayLimit = 3.5;
AreaLimit = 9;
nGatesMax = 10000;
nGatesMax = 1000000;
TimeLimit = 10;
fSkipInvs = 1;
fVerbose = 0;