diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-22 04:31:10 +0000 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-22 04:31:10 +0000 |
commit | 0e9f8093c373c0abf2537b446c05a027f70c2c31 (patch) | |
tree | 596a8df53775076ac9c48db84493b1a5132c6f14 /src/base/wlc/wlcNtk.c | |
parent | 9d46d84b278acac3ca5983ddb7fbd41a9a4b926b (diff) | |
parent | fb2fbd70bd31eb08dd50c66788d5165697ca6925 (diff) | |
download | abc-0e9f8093c373c0abf2537b446c05a027f70c2c31.tar.gz abc-0e9f8093c373c0abf2537b446c05a027f70c2c31.tar.bz2 abc-0e9f8093c373c0abf2537b446c05a027f70c2c31.zip |
Merged in ysho/abc (pull request #59)
added a new abstraction
Diffstat (limited to 'src/base/wlc/wlcNtk.c')
-rw-r--r-- | src/base/wlc/wlcNtk.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index e6ab0739..c8fc15a7 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -114,6 +114,8 @@ void Wlc_ManSetDefaultParams( Wlc_Par_t * pPars ) pPars->nBitsFlop = ABC_INFINITY; // flop bit-width pPars->nIterMax = 1000; // the max number of iterations pPars->fXorOutput = 1; // XOR outputs of word-level miter + pPars->fCheckClauses = 1; // Check clauses in the reloaded trace + pPars->fPushClauses = 0; // Push clauses in the reloaded trace pPars->fVerbose = 0; // verbose output` pPars->fPdrVerbose = 0; // show verbose PDR output } |