diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-22 15:37:49 -0800 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-22 15:37:49 -0800 |
| commit | 2f90e5e15d8308a9cbebdc15976f5b5b8d3d8032 (patch) | |
| tree | 4bc14b8170e2dfe84fc96912d548d0e153408f64 /src/base/wlc/wlc.h | |
| parent | 53b1d46b8d19e491679d9374c9758b09e2becf59 (diff) | |
| download | abc-2f90e5e15d8308a9cbebdc15976f5b5b8d3d8032.tar.gz abc-2f90e5e15d8308a9cbebdc15976f5b5b8d3d8032.tar.bz2 abc-2f90e5e15d8308a9cbebdc15976f5b5b8d3d8032.zip | |
added an option -m for %pdra
Diffstat (limited to 'src/base/wlc/wlc.h')
| -rw-r--r-- | src/base/wlc/wlc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index 686d9f00..abb75f5e 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -172,6 +172,7 @@ struct Wlc_Par_t_ int fXorOutput; // XOR outputs of word-level miter int fCheckClauses; // Check clauses in the reloaded trace int fPushClauses; // Push clauses in the reloaded trace + int fMFFC; // Refine the entire MFFC of a PPI int fVerbose; // verbose output int fPdrVerbose; // verbose output }; |