reduce verbosity (printing automata?)

lip6 · May 14, 2024 · 454ad22 · 454ad22
1 parent 88922b8
commit 454ad22
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/....gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/ltl/LTLPropertySolver.java b/....gal.application.pnmcc/src/fr/lip6/move/gal/application/solver/ltl/LTLPropertySolver.java
@@ -236,7 +236,8 @@ void checkLTLProperty(fr.lip6.move.gal.structural.Property propPN, TGBA tgba, Sp
 				return;
 
 			if (! noStutterTest) {
-				System.out.println("Running random walk in product with property : " + propPN.getName() + " automaton " + tgba);
+				System.out.println("Running random walk in product with property : " + propPN.getName());
+				if (DEBUG >= 2) { System.out.println(" automaton " + tgba); }
 				RandomProductWalker pw = new RandomProductWalker(spnForProp,tgba);
 				pw.runProduct(NBSTEPS, 10, false);
 				if (doneProps.containsKey(propPN.getName()))