cover the INSTRUCTION_LIMIT case

vprover · Jan 8, 2025 · 0cc04da · 0cc04da
1 parent 36a610c
commit 0cc04da
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Shell/Statistics.cpp b/Shell/Statistics.cpp
@@ -233,6 +233,9 @@ void Statistics::print(std::ostream& out)
   case Statistics::TIME_LIMIT:
     out << "Time limit";
     break;
+  case Statistics::INSTRUCTION_LIMIT:
+    out << "Instruction limit";
+    break;
   case Statistics::MEMORY_LIMIT:
     out << "Memory limit";
     break;