diff options
Diffstat (limited to 'src/proof/pdr/pdrIncr.c')
-rw-r--r-- | src/proof/pdr/pdrIncr.c | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/proof/pdr/pdrIncr.c b/src/proof/pdr/pdrIncr.c index abf8ab93..1f578242 100644 --- a/src/proof/pdr/pdrIncr.c +++ b/src/proof/pdr/pdrIncr.c @@ -309,20 +309,6 @@ int IPdr_ManRebuildClauses( Pdr_Man_t * p, Vec_Vec_t * vClauses ) Abc_Print( 1, " %d", Vec_PtrSize( vArrayK ) ); Abc_Print( 1, "\n" ); - /* - for ( i = 1; i < Vec_VecSize(p->vClauses); ++i ) - IPdr_ManSetSolver( p, i, 0 ); - - p->iUseFrame = Vec_VecSize(p->vClauses) - 1; - RetValue = Pdr_ManPushClauses( p ); - - if ( RetValue == 1 ) - { - Abc_Print( 1, "Found an invariant!\n"); - return 1; - } - */ - Vec_VecFree( vClauses ); return 0; } |