diff options
Diffstat (limited to 'src/aig/saig/saigRetMin.c')
-rw-r--r-- | src/aig/saig/saigRetMin.c | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/aig/saig/saigRetMin.c b/src/aig/saig/saigRetMin.c index 0ad6c314..1820ae9a 100644 --- a/src/aig/saig/saigRetMin.c +++ b/src/aig/saig/saigRetMin.c @@ -150,13 +150,14 @@ int Saig_ManRetimeUnsatCore( Aig_Man_t * p, int fVerbose ) printf( "\n" ); } // collect the nodes - if ( fVeryVerbose ) - Aig_ManForEachObj( p, pObj, i ) - if ( pCnf->pVarNums[pObj->Id] >= 0 && pVars[ pCnf->pVarNums[pObj->Id] ] == 1 ) - { - Aig_ObjPrint( p, pObj ); - printf( "\n" ); - } + if ( fVeryVerbose ) { + Aig_ManForEachObj( p, pObj, i ) + if ( pCnf->pVarNums[pObj->Id] >= 0 && pVars[ pCnf->pVarNums[pObj->Id] ] == 1 ) + { + Aig_ObjPrint( p, pObj ); + printf( "\n" ); + } + } // pick the first PO in the list nPos = 0; iBadPo = -1; |