diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-13 13:45:20 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-13 13:45:20 +0700 |
| commit | f5f1f44a7b4f00ae75d9136ebef993bfaa47c5a3 (patch) | |
| tree | a8f2097fae03a076d40d3eb1db960e48ef500636 /src/sat/bmc/bmcBmcS.c | |
| parent | ab8f784b6a623e8c77dbcde10d652de637924ec2 (diff) | |
| download | abc-f5f1f44a7b4f00ae75d9136ebef993bfaa47c5a3.tar.gz abc-f5f1f44a7b4f00ae75d9136ebef993bfaa47c5a3.tar.bz2 abc-f5f1f44a7b4f00ae75d9136ebef993bfaa47c5a3.zip | |
Experiments with BMC.
Diffstat (limited to 'src/sat/bmc/bmcBmcS.c')
| -rw-r--r-- | src/sat/bmc/bmcBmcS.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmcBmcS.c b/src/sat/bmc/bmcBmcS.c index baadd06d..d4de90f3 100644 --- a/src/sat/bmc/bmcBmcS.c +++ b/src/sat/bmc/bmcBmcS.c @@ -828,6 +828,7 @@ int Bmcs_ManPerformMulti( Gia_Man_t * pGia, Bmc_AndPar_t * pPars ) ThData[i].pSat = NULL; ThData[i].fWorking = 1; } + p->pSat = NULL; Bmcs_ManStop( p ); if ( RetValue == -1 && !pPars->fNotVerbose ) printf( "No output failed in %d frames. ", f ); |