diff options
Diffstat (limited to 'src/proof/ssw/ssw.h')
| -rw-r--r-- | src/proof/ssw/ssw.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/proof/ssw/ssw.h b/src/proof/ssw/ssw.h index d81bae20..a05409ee 100644 --- a/src/proof/ssw/ssw.h +++ b/src/proof/ssw/ssw.h @@ -105,7 +105,9 @@ struct Ssw_RarPars_t_ int fMiter; int fUseCex; int fLatchOnly; + int nSolved; Abc_Cex_t * pCex; + int(*pFuncOnFail)(int,Abc_Cex_t*); // called for a failed output in MO mode }; typedef struct Ssw_Sml_t_ Ssw_Sml_t; // sequential simulation manager |