diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 10:19:54 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-05-17 10:19:54 -0400 |
commit | d6ef5385a8759d708b75077ec7e919eff783a6cf (patch) | |
tree | 146f6cd9c25dfd64620396d11e1982d0171efa93 /src/theory/logic_info.cpp | |
parent | 3afbf810287fb3f1a99ef907f91f5e93c3b93226 (diff) |
Better error on invalid logic strings.
Thanks to David Cok for reporting this issue.
Diffstat (limited to 'src/theory/logic_info.cpp')
-rw-r--r-- | src/theory/logic_info.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/theory/logic_info.cpp b/src/theory/logic_info.cpp index dc9de8662..cbd0b510e 100644 --- a/src/theory/logic_info.cpp +++ b/src/theory/logic_info.cpp @@ -241,7 +241,12 @@ void LogicInfo::setLogicString(std::string logicString) throw(IllegalArgumentExc } if(*p != '\0') { stringstream err; - err << "LogicInfo::setLogicString(): junk (\"" << p << "\") at end of logic string: " << logicString; + err << "LogicInfo::setLogicString(): "; + if(p == logicString) { + err << "cannot parse logic string: " << logicString; + } else { + err << "junk (\"" << p << "\") at end of logic string: " << logicString; + } IllegalArgument(logicString, err.str().c_str()); } |