Symbolic, BSCC computation: Omit BSCC size output when there are >10 BSCCs

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10573 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/SCCComputer.java

@@ -201,6 +201,11 @@ public abstract class SCCComputer extends PrismComponent
 		mainLog.print("\nSCCs: " + sccs.size()); // Note: the BDDs in sccs have been derefed but the array still exists
 		mainLog.print(", BSCCs: " + bsccs.size());
 		mainLog.println(", non-BSCC states: " + JDD.GetNumMintermsString(notInBSCCs, allDDRowVars.n()));
+
+		boolean verbose = getSettings().getBoolean(PrismSettings.PRISM_VERBOSE);
+		if (!verbose && bsccs.size() > 10) {
+			mainLog.print("BSCC sizes: More than 10 BSCCs, use verbose mode to view sizes for all.\n");
+		} else {
 			mainLog.print("BSCC sizes:");
 			for (i = 0; i < bsccs.size(); i++) {
 				mainLog.print(" " + (i + 1) + ":" + JDD.GetNumMintermsString(bsccs.elementAt(i), allDDRowVars.n()));
@@ -208,3 +213,4 @@ public abstract class SCCComputer extends PrismComponent
 			mainLog.println();
 		}
 	}
+}