| 409 | } |
| 410 | |
| 411 | void OutputWidget::addStatus(const QString& status, qint64 time) |
| 412 | { |
| 413 | TextLayoutLock lock(this); |
| 414 | _lastTraceLoc = ""; |
| 415 | QMap<QString, QString> status_map = { |
| 416 | {"ALL_SOLUTIONS", "=========="}, |
| 417 | {"OPTIMAL_SOLUTION", "=========="}, |
| 418 | {"UNSATISFIABLE", "=====UNSATISFIABLE====="}, |
| 419 | {"UNSAT_OR_UNBOUNDED", "=====UNSATorUNBOUNDED====="}, |
| 420 | {"UNBOUNDED", "=====UNBOUNDED====="}, |
| 421 | {"UNKNOWN", "=====UNKNOWN====="}, |
| 422 | {"ERROR", "=====ERROR====="} |
| 423 | }; |
| 424 | auto it = status_map.find(status); |
| 425 | if (it != status_map.end()) { |
| 426 | nextInsertAt().insertText(*it + "\n", _defaultCharFormat); |
| 427 | } |
| 428 | } |
| 429 | |
| 430 | void OutputWidget::endExecution(int exitCode, qint64 time) |
| 431 | { |