From bd995ee2ca86bcb488d2e9592012b6077a6283f6 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 12 Feb 2008 08:01:00 -0800 Subject: Version abc80212 --- src/aig/dar/darScript.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/dar/darScript.c') diff --git a/src/aig/dar/darScript.c b/src/aig/dar/darScript.c index 530e913e..e690a61b 100644 --- a/src/aig/dar/darScript.c +++ b/src/aig/dar/darScript.c @@ -353,7 +353,7 @@ Vec_Ptr_t * Dar_ManChoiceSynthesisExt() SeeAlso [] ***********************************************************************/ -Aig_Man_t * Dar_ManChoice( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int fVerbose ) +Aig_Man_t * Dar_ManChoice( Aig_Man_t * pAig, int fBalance, int fUpdateLevel, int nConfMax, int nLevelMax, int fVerbose ) { Aig_Man_t * pMan, * pTemp; Vec_Ptr_t * vAigs; @@ -374,7 +374,7 @@ if ( fVerbose ) PRT( "Synthesis time", clock() - clk ); } clk = clock(); - pMan = Aig_ManChoicePartitioned( vAigs, 300, fVerbose ); + pMan = Aig_ManChoicePartitioned( vAigs, 300, nConfMax, nLevelMax, fVerbose ); Vec_PtrForEachEntry( vAigs, pTemp, i ) Aig_ManStop( pTemp ); Vec_PtrFree( vAigs ); -- cgit v1.2.3