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 | |
parent | ab8f784b6a623e8c77dbcde10d652de637924ec2 (diff) | |
download | abc-f5f1f44a7b4f00ae75d9136ebef993bfaa47c5a3.tar.gz abc-f5f1f44a7b4f00ae75d9136ebef993bfaa47c5a3.tar.bz2 abc-f5f1f44a7b4f00ae75d9136ebef993bfaa47c5a3.zip |
Experiments with BMC.
Diffstat (limited to 'src/sat/bmc')
-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 ); |