diff options
| -rw-r--r-- | src/sat/bmc/bmcBCore.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmcBCore.c b/src/sat/bmc/bmcBCore.c index 3a13ed88..97076858 100644 --- a/src/sat/bmc/bmcBCore.c +++ b/src/sat/bmc/bmcBCore.c @@ -252,6 +252,7 @@ void Bmc_ManBCorePerform( Gia_Man_t * p, Bmc_BCorePar_t * pPars ) Abc_PrintTime( 1, "Time", clock() - clk ); } // write the problem + Vec_IntSort( vCore, 0 ); pFile = pPars->pFileProof ? fopen( pPars->pFileProof, "wb" ) : stdout; Intp_ManUnsatCorePrintForBmc( pFile, (Sto_Man_t *)pSatCnf, vCore, vVarMap ); if ( pFile != stdout ) |