Skip to content

A
abc
Commit e43c0d87 by Alan Mishchenko
Options

Setting the number of completed time frames.

parent b695e333
Showing with 1 additions and 1 deletions
src/aig/saig/saigGlaCba.c
...@@ -812,7 +812,7 @@ Vec_Int_t * Aig_Gla1ManPerform( Aig_Man_t * pAig, Vec_Int_t * vGateClassesOld, i ...@@ -812,7 +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 ); printf( "The problem is SAT in frame %d. The CEX is currently not produced.\n", f );
else else
printf( "Ran out of conflict limit (%d) at frame %d.\n", nConfLimit, f ); printf( "Ran out of conflict limit (%d) at frame %d.\n", nConfLimit, f );
*piFrame = i; *piFrame = f;
// print stats // print stats
if ( fVerbose ) if ( fVerbose )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment