From 42927d5ebb7b7a828790394dc555cd129aa2481b Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 7 Apr 2014 14:10:51 -0700 Subject: Adding command to dump UNSAT core of BMC instance. --- src/sat/bsat/satStore.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/sat/bsat/satStore.h') diff --git a/src/sat/bsat/satStore.h b/src/sat/bsat/satStore.h index 960f391a..f2480a7d 100644 --- a/src/sat/bsat/satStore.h +++ b/src/sat/bsat/satStore.h @@ -142,8 +142,8 @@ extern void * Intb_ManInterpolate( Intb_Man_t * p, Sto_Man_t * pCnf, void typedef struct Intp_Man_t_ Intp_Man_t; extern Intp_Man_t * Intp_ManAlloc(); extern void Intp_ManFree( Intp_Man_t * p ); -extern void * Intp_ManUnsatCore( Intp_Man_t * p, Sto_Man_t * pCnf, int fVerbose ); - +extern void * Intp_ManUnsatCore( Intp_Man_t * p, Sto_Man_t * pCnf, int fLearned, int fVerbose ); +extern void Intp_ManUnsatCorePrintForBmc( FILE * pFile, Sto_Man_t * pCnf, void * vCore, void * vVarMap ); ABC_NAMESPACE_HEADER_END -- cgit v1.2.3