From 37703eaaa867a0c108ebc0505e4d499084bb65d8 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 26 Apr 2014 19:28:12 -0700
Subject: Exploration of functions.

---
 src/base/abci/abc.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/base/abci')

diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c
index b47c4777..35467415 100644
--- a/src/base/abci/abc.c
+++ b/src/base/abci/abc.c
@@ -10321,7 +10321,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
     int nCutMax      =  1;
     int nLeafMax     = 10;
     int nDivMax      = 50;
-    int nDecMax      =  3;
+    int nDecMax      = 20;
     int fNewAlgo     =  0;
     int fNewOrder    =  0;
     int fVerbose     =  0;
@@ -10461,8 +10461,8 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv )
     }
 */
     {
-        extern void Abc_EnumerateFunctions();
-        Abc_EnumerateFunctions();
+        extern void Abc_EnumerateFunctions( int nVars );
+        Abc_EnumerateFunctions( nDecMax );
     }
     if ( pNtk )
     {
-- 
cgit v1.2.3