diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-14 16:32:21 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-14 16:32:21 +0700 |
| commit | 1451e4551c84c0b57db264c129856eb3e52a7a76 (patch) | |
| tree | 954436fef0be05d1ef1adb9281f5e2313335cf01 /src/sat/bmc/bmc.h | |
| parent | e89fe16b91e708b897cb58f90fefe2714b520ec8 (diff) | |
| download | abc-1451e4551c84c0b57db264c129856eb3e52a7a76.tar.gz abc-1451e4551c84c0b57db264c129856eb3e52a7a76.tar.bz2 abc-1451e4551c84c0b57db264c129856eb3e52a7a76.zip | |
Adding flop-input-only switch -f in &fftest.
Diffstat (limited to 'src/sat/bmc/bmc.h')
| -rw-r--r-- | src/sat/bmc/bmc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h index d39f570f..e489c255 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -131,6 +131,7 @@ struct Bmc_ParFf_t_ int nTimeOut; int nIterCheck; int fBasic; + int fFfOnly; int fDump; int fDumpUntest; int fVerbose; |