cover one more INSTRUCTION_LIMIT case

vprover · Jan 8, 2025 · 743ab47 · 743ab47
1 parent 0cc04da
commit 743ab47
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Shell/UIHelper.cpp b/Shell/UIHelper.cpp
@@ -528,6 +528,14 @@ void UIHelper::outputResult(std::ostream& out)
     addCommentSignForSZS(out);
     out << "Time limit reached!\n";
     break;
+  case Statistics::INSTRUCTION_LIMIT:
+    if(env.options->outputMode() == Options::Output::SMTCOMP){
+      out << "unknown" << endl;
+      return;
+    }
+    addCommentSignForSZS(out);
+    out << "Instruction limit reached!\n";
+    break;
   case Statistics::MEMORY_LIMIT:
     if(env.options->outputMode() == Options::Output::SMTCOMP){
       out << "unknown" << endl;