Added another verbose call

nickbattle · Dec 9, 2023 · 9c88600 · 9c88600
1 parent 66b118c
commit 9c88600
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/quickcheck/src/main/java/quickcheck/commands/QuickCheckCommand.java b/quickcheck/src/main/java/quickcheck/commands/QuickCheckCommand.java
@@ -26,6 +26,7 @@
 
 import static com.fujitsu.vdmj.plugins.PluginConsole.errorln;
 import static com.fujitsu.vdmj.plugins.PluginConsole.println;
+import static quickcheck.commands.QCConsole.verbose;
 
 import java.util.Arrays;
 import java.util.List;
@@ -189,6 +190,7 @@ public String run(String line)
 		{
 			for (ProofObligation po: chosen)
 			{
+				verbose("Processing PO #%s\n", po.number);
 				StrategyResults results = qc.getValues(po);
 
 				if (!qc.hasErrors())