From 8c7ca72ea9a653772c9d1fd54f87fb3ee51fb873 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 28 Jun 2013 12:21:48 -0700 Subject: Adding timeout to command 'ind'. --- src/aig/saig/saig.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/saig/saig.h') diff --git a/src/aig/saig/saig.h b/src/aig/saig/saig.h index 89622491..475f476d 100644 --- a/src/aig/saig/saig.h +++ b/src/aig/saig/saig.h @@ -131,7 +131,7 @@ extern Aig_Man_t * Saig_ManDupCones( Aig_Man_t * pAig, int * pPos, int nPo /*=== saigHaig.c ==========================================================*/ extern Aig_Man_t * Saig_ManHaigRecord( Aig_Man_t * p, int nIters, int nSteps, int fRetimingOnly, int fAddBugs, int fUseCnf, int fVerbose ); /*=== saigInd.c ==========================================================*/ -extern int Saig_ManInduction( Aig_Man_t * p, int nFramesMax, int nConfMax, int fUnique, int fUniqueAll, int fGetCex, int fVerbose, int fVeryVerbose ); +extern int Saig_ManInduction( Aig_Man_t * p, int nTimeOut, int nFramesMax, int nConfMax, int fUnique, int fUniqueAll, int fGetCex, int fVerbose, int fVeryVerbose ); /*=== saigIoa.c ==========================================================*/ extern void Saig_ManDumpBlif( Aig_Man_t * p, char * pFileName ); extern Aig_Man_t * Saig_ManReadBlif( char * pFileName ); -- cgit v1.2.3