diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 23:42:19 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 23:42:19 -0800 |
| commit | b695e3334cd033083c7b9e80942e23b9e0d3010c (patch) | |
| tree | bf16e81b2c12b325570b079a3b0a407e68d620f7 /src/aig/saig | |
| parent | 30ea50a3b4618f0217d89b812535fdeb617893d4 (diff) | |
| download | abc-b695e3334cd033083c7b9e80942e23b9e0d3010c.tar.gz abc-b695e3334cd033083c7b9e80942e23b9e0d3010c.tar.bz2 abc-b695e3334cd033083c7b9e80942e23b9e0d3010c.zip | |
Setting the number of completed time frames.
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saigGlaCba.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/saig/saigGlaCba.c b/src/aig/saig/saigGlaCba.c index 9140c7bf..eae9a3c2 100644 --- a/src/aig/saig/saigGlaCba.c +++ b/src/aig/saig/saigGlaCba.c @@ -676,7 +676,7 @@ void Aig_Gla1ExtendIncluded( Aig_Gla1Man_t * p ) SeeAlso [] ***********************************************************************/ -Vec_Int_t * Aig_Gla1ManPerform( Aig_Man_t * pAig, Vec_Int_t * vGateClassesOld, int nStart, int nFramesMax, int nConfLimit, int TimeLimit, int fNaiveCnf, int fVerbose ) +Vec_Int_t * Aig_Gla1ManPerform( Aig_Man_t * pAig, Vec_Int_t * vGateClassesOld, int nStart, int nFramesMax, int nConfLimit, int TimeLimit, int fNaiveCnf, int fVerbose, int * piFrame ) { Vec_Int_t * vResult = NULL; Aig_Gla1Man_t * p; @@ -812,6 +812,7 @@ Vec_Int_t * Aig_Gla1ManPerform( Aig_Man_t * pAig, Vec_Int_t * vGateClassesOld, i printf( "The problem is SAT in frame %d. The CEX is currently not produced.\n", f ); else printf( "Ran out of conflict limit (%d) at frame %d.\n", nConfLimit, f ); + *piFrame = i; // print stats if ( fVerbose ) { |