[PSym] Minor correction

p-org · Oct 6, 2023 · 7f27a8c · 7f27a8c
1 parent 08ce723
commit 7f27a8c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Src/PRuntimes/PSymRuntime/src/main/java/psym/EntryPoint.java b/Src/PRuntimes/PSymRuntime/src/main/java/psym/EntryPoint.java
@@ -59,7 +59,7 @@ private static void print_stats() {
     double searchTime = TimeMonitor.getInstance().stopInterval();
     searchScheduler.print_search_stats();
     if (searchScheduler.isFinalResult && PSymGlobal.getResult().equals("correct for any depth")) {
-      PSymGlobal.setStatus("proved");
+      PSymGlobal.setStatus("verified");
     }
     StatWriter.log("time-search-seconds", String.format("%.1f", searchTime));
     if (PSymGlobal.getConfiguration().isIterative()) {