diff options
author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-23 08:48:53 -0800 |
---|---|---|
committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-02-23 08:48:53 -0800 |
commit | d5bbf9188c4ea4ded22afe67b18290b148bf1d88 (patch) | |
tree | 830b60cfd3a2edd928ec80973637a9613f357c00 /src/base/wlc/wlc.h | |
parent | f01c63f712a31726af27340b6255fc1ffbee87b7 (diff) | |
download | abc-d5bbf9188c4ea4ded22afe67b18290b148bf1d88.tar.gz abc-d5bbf9188c4ea4ded22afe67b18290b148bf1d88.tar.bz2 abc-d5bbf9188c4ea4ded22afe67b18290b148bf1d88.zip |
added %pdra -a: run with pdr -nct
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 abb75f5e..cb84a70d 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -173,6 +173,7 @@ struct Wlc_Par_t_ 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 fPdra; // Use pdr -nct int fVerbose; // verbose output int fPdrVerbose; // verbose output }; |