diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-08 18:52:11 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-08 18:52:11 +0200 |
| commit | 80551de3c5ce5ca32ef00c6cd69d7135940b1c1c (patch) | |
| tree | 56bec29b0c39c5b8e932262ff09654b1a3cfbda7 /src/base | |
| parent | 7cc0094a0e458db294ae581d1521a695049db713 (diff) | |
| download | abc-80551de3c5ce5ca32ef00c6cd69d7135940b1c1c.tar.gz abc-80551de3c5ce5ca32ef00c6cd69d7135940b1c1c.tar.bz2 abc-80551de3c5ce5ca32ef00c6cd69d7135940b1c1c.zip | |
Small change in exact synthesis.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcExact.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index b546ea08..b3d9a53d 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -485,7 +485,7 @@ static inline Ses_Man_t * Ses_ManAlloc( word * pTruth, int nVars, int nFunc, int p->fVerbose = fVerbose; p->fVeryVerbose = 0; p->fExtractVerbose = 0; - p->fSatVerbose = 1; + p->fSatVerbose = 0; return p; } |