diff options
Diffstat (limited to 'src/smt/set_defaults.cpp')
| -rw-r--r-- | src/smt/set_defaults.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/smt/set_defaults.cpp b/src/smt/set_defaults.cpp index a781bc44b..3c70d8a57 100644 --- a/src/smt/set_defaults.cpp +++ b/src/smt/set_defaults.cpp @@ -484,6 +484,11 @@ void setDefaults(LogicInfo& logic, bool isInternalSubsolver) { throw OptionException("bitblast-aig not supported with unsat cores"); } + + if (options::doITESimp()) + { + throw OptionException("ITE simp not supported with unsat cores"); + } } else { |