From 22ada3b2b7667c376404b4c870307dd9717563b2 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 7 Apr 2014 14:20:25 -0700
Subject: Adding command to dump UNSAT core of BMC instance.

---
 src/sat/bmc/bmcBCore.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/sat/bmc/bmcBCore.c')

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 )
-- 
cgit v1.2.3