From 2b39d60f6eeca21dfd9ad15c56448b5978e2462b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 1 Mar 2012 11:18:35 -0800
Subject: Adding switch -N to 'super' to set an upper bound on the number of
 supergates generated.

---
 src/map/super/super.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map/super/super.c')

diff --git a/src/map/super/super.c b/src/map/super/super.c
index ff95a6c5..7976958e 100644
--- a/src/map/super/super.c
+++ b/src/map/super/super.c
@@ -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;
-- 
cgit v1.2.3