diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-07 14:10:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-07 14:10:51 -0700 |
| commit | 42927d5ebb7b7a828790394dc555cd129aa2481b (patch) | |
| tree | e608e44763ffb52169a8e7d19021643fb8a27bdc /src/sat/bsat/satStore.h | |
| parent | af6705a8b1c75d069ef1fc504080b7bc6ee1c8f5 (diff) | |
| download | abc-42927d5ebb7b7a828790394dc555cd129aa2481b.tar.gz abc-42927d5ebb7b7a828790394dc555cd129aa2481b.tar.bz2 abc-42927d5ebb7b7a828790394dc555cd129aa2481b.zip | |
Adding command to dump UNSAT core of BMC instance.
Diffstat (limited to 'src/sat/bsat/satStore.h')
| -rw-r--r-- | src/sat/bsat/satStore.h | 4 |
1 files changed, 2 insertions, 2 deletions
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 |