diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 13:36:51 -0400 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 13:36:51 -0400 |
| commit | a564e2ab8184f330e87da811cedfd3faf2ee4041 (patch) | |
| tree | c356f2df0bc385b936e9bb68f68b31cda822a975 /src/proof/ssc/ssc.h | |
| parent | a509fa8ea89cc6374c7a13e7632cb51bc455ce43 (diff) | |
| download | abc-a564e2ab8184f330e87da811cedfd3faf2ee4041.tar.gz abc-a564e2ab8184f330e87da811cedfd3faf2ee4041.tar.bz2 abc-a564e2ab8184f330e87da811cedfd3faf2ee4041.zip | |
Sweeper internal verification and new switch for &cfraig.
Diffstat (limited to 'src/proof/ssc/ssc.h')
| -rw-r--r-- | src/proof/ssc/ssc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/ssc/ssc.h b/src/proof/ssc/ssc.h index 1112719c..aee29713 100644 --- a/src/proof/ssc/ssc.h +++ b/src/proof/ssc/ssc.h @@ -49,6 +49,7 @@ struct Ssc_Pars_t_ int nCallsRecycle; // calls to perform before recycling SAT solver int fAppend; // append constraints to the resulting AIG int fVerbose; // verbose stats + int fVerify; // enable internal verification }; //////////////////////////////////////////////////////////////////////// |