diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index a69952885..19bfe3ca5 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1342,6 +1342,13 @@ void SmtEngine::setDefaults() { options::conjectureFilterModel.set( false ); } } + if( options::conjectureGenPerRound.wasSetByUser() ){ + if( options::conjectureGenPerRound()>0 ){ + options::conjectureGen.set( true ); + }else{ + options::conjectureGen.set( false ); + } + } //until bugs 371,431 are fixed if( ! options::minisatUseElim.wasSetByUser()){ |