From 57948820e1dd46dbd701a93248e1f913b1206a13 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 23 Mar 2012 15:31:45 +0000 Subject: [PATCH] Forward reachability output bug. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4948 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/pta/ForwardsReach.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/pta/ForwardsReach.java b/prism/src/pta/ForwardsReach.java index a1533cfb..89790632 100644 --- a/prism/src/pta/ForwardsReach.java +++ b/prism/src/pta/ForwardsReach.java @@ -251,7 +251,7 @@ public class ForwardsReach timer = System.currentTimeMillis() - timer; mainLog.println("Graph constructed in " + (timer / 1000.0) + " secs."); mainLog.print("Graph: " + graph.states.size() + " symbolic states"); - mainLog.println("), " + target.cardinality() + " target states"); + mainLog.println(" (" + initialStates.size() + " initial, " + target.cardinality() + " target)"); // Print a warning if there are no target states if (target.cardinality() == 0)