diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-27 08:01:00 -0700 |
| commit | 689cbe904e3a28d7502feb9931b748764f947aaf (patch) | |
| tree | bbb8fff24434b41482f2878489b8210d58b495c5 /src/aig/fra | |
| parent | 91effd8148493c3837513c9256eefdf488dd9b97 (diff) | |
| download | abc-689cbe904e3a28d7502feb9931b748764f947aaf.tar.gz abc-689cbe904e3a28d7502feb9931b748764f947aaf.tar.bz2 abc-689cbe904e3a28d7502feb9931b748764f947aaf.zip | |
Version abc80927
Diffstat (limited to 'src/aig/fra')
| -rw-r--r-- | src/aig/fra/fraSec.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c index 232a789e..dce34600 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -56,6 +56,7 @@ void Fra_SecSetDefaultParams( Fra_Sec_t * p ) p->fInterpolation = 1; // enables interpolation p->fReachability = 1; // enables BDD based reachability p->fStopOnFirstFail = 1; // enables stopping after first output of a miter has failed to prove + p->fUseNewProver = 0; // enables new prover p->fSilent = 0; // disables all output p->fVerbose = 0; // enables verbose reporting of statistics p->fVeryVerbose = 0; // enables very verbose reporting |