diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-23 13:20:24 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-23 13:20:24 +0700 |
| commit | 88c36d9d657f478cd9cd736eeed91a186cb73815 (patch) | |
| tree | b29dd32a8e598fa2e22fa92e36ca250c79a4ebb1 | |
| parent | 9ec9d9f315b9025e5406eea59d310f5fa48cf69f (diff) | |
| download | abc-88c36d9d657f478cd9cd736eeed91a186cb73815.tar.gz abc-88c36d9d657f478cd9cd736eeed91a186cb73815.tar.bz2 abc-88c36d9d657f478cd9cd736eeed91a186cb73815.zip | |
New abstraction code (bug fix).
| -rw-r--r-- | src/aig/saig/saigAbsGla.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/saig/saigAbsGla.c b/src/aig/saig/saigAbsGla.c index 696088ce..69b4cb66 100644 --- a/src/aig/saig/saigAbsGla.c +++ b/src/aig/saig/saigAbsGla.c @@ -352,6 +352,7 @@ int Aig_GlaFetchVar( Aig_GlaMan_t * p, Aig_Obj_t * pObj, int k ) Vec_IntPush( p->vVar2Inf, Aig_ObjId(pObj) ); Vec_IntPush( p->vVar2Inf, k ); Vec_IntWriteEntry( p->vVec2Var, iVecId * p->nFrames + k, iSatVar ); + sat_solver_setnvars( p->pSat, iSatVar + 1 ); } return iSatVar; } |