diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-29 12:19:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-06-29 12:19:48 -0700 |
| commit | 5d5ff3b99e111f3623e8b631d380b1d253810895 (patch) | |
| tree | 4b8ddfe534a86c8a27e0b604bd404dbc41bf8b5a /src/aig/gia/giaAbsVta.c | |
| parent | a3a1810ab054d7bf44fd088991217a81222d0e8e (diff) | |
| download | abc-5d5ff3b99e111f3623e8b631d380b1d253810895.tar.gz abc-5d5ff3b99e111f3623e8b631d380b1d253810895.tar.bz2 abc-5d5ff3b99e111f3623e8b631d380b1d253810895.zip | |
Bug fix in &gla -d.
Diffstat (limited to 'src/aig/gia/giaAbsVta.c')
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 3195c160..7e4288fc 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1531,7 +1531,10 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) vCore = Vta_ManUnsatCore( Vga_ManGetOutLit(p, f), p->vCla2Var, p->pSat, pPars->nConfLimit, pPars->fVerbose, &Status, &nConfls ); assert( (vCore != NULL) == (Status == 1) ); if ( Status == -1 ) // resource limit is reached + { + Vga_ManRollBack( p, nObjOld ); goto finish; + } if ( vCore != NULL ) { p->timeUnsat += clock() - clk2; |