diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-29 13:02:52 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-29 13:02:52 -0400 |
| commit | e6dc2c46fced4d8121d6d7bdd739d977f32d0462 (patch) | |
| tree | b853c3fa42e2ca899ec24d5146dbb193b1eccfc0 /src/expr | |
| parent | a7eba5fcb468399181d06a3684e760aae7185229 (diff) | |
Per SMT-LIB spec, allow (set-info..) command to succeed implicitly with unknown key.
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/command.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/command.cpp b/src/expr/command.cpp index 36336a959..423bf3234 100644 --- a/src/expr/command.cpp +++ b/src/expr/command.cpp @@ -1118,7 +1118,8 @@ void SetInfoCommand::invoke(SmtEngine* smtEngine) throw() { smtEngine->setInfo(d_flag, d_sexpr); d_commandStatus = CommandSuccess::instance(); } catch(UnrecognizedOptionException&) { - d_commandStatus = new CommandUnsupported(); + // As per SMT-LIB spec, silently accept unknown set-info keys + d_commandStatus = CommandSuccess::instance(); } catch(exception& e) { d_commandStatus = new CommandFailure(e.what()); } |