diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-27 11:35:31 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-27 11:35:31 -0700 |
commit | 4dcf8cee2d466f51abb83d342837febd4e4ba6cb (patch) | |
tree | acd169e65a285269a2051060bd886127555e05d8 /src/sat/pdr/pdrInv.c | |
parent | d97e5d680391ee4346d86451594df746167698aa (diff) | |
download | abc-4dcf8cee2d466f51abb83d342837febd4e4ba6cb.tar.gz abc-4dcf8cee2d466f51abb83d342837febd4e4ba6cb.tar.bz2 abc-4dcf8cee2d466f51abb83d342837febd4e4ba6cb.zip |
Improvements in Vec_Vec_t.
Diffstat (limited to 'src/sat/pdr/pdrInv.c')
-rw-r--r-- | src/sat/pdr/pdrInv.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/pdr/pdrInv.c b/src/sat/pdr/pdrInv.c index 5eb32790..daf542e9 100644 --- a/src/sat/pdr/pdrInv.c +++ b/src/sat/pdr/pdrInv.c @@ -130,7 +130,7 @@ int Pdr_ManFindInvariantStart( Pdr_Man_t * p ) { Vec_Ptr_t * vArrayK; int k, kMax = Vec_PtrSize(p->vSolvers)-1; - Vec_VecForEachLevelStartStop( p->vClauses, vArrayK, k, 1, kMax ) + Vec_VecForEachLevelStartStop( p->vClauses, vArrayK, k, 1, kMax+1 ) if ( Vec_PtrSize(vArrayK) == 0 ) return k; return -1; |