From bdae7c625afaff6f9313f201096dcb7d591c2486 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 17 Apr 2013 20:46:14 -0700
Subject: Adding callback to bmc3, sim3, pdr in the multi-output mode.

---
 src/proof/ssw/ssw.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/proof/ssw/ssw.h')

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