Float.toString removed :-)

Caused state space explosion.
d3scomp · Aug 31, 2012 · 44f0656 · 44f0656
1 parent 13ec3e8
commit 44f0656
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/demo/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudJPF.jpf b/demo/cz/cuni/mff/d3s/deeco/demo/cloud/LocalLauncherCloudJPF.jpf
@@ -4,9 +4,9 @@ jpf-core.classpath+=;${jdeeco-dist}/demo.jar;${jdeeco-dist}/jdeeco.jar
 jpf-core.sourcepath=${jdeeco-src};${jdeeco-src-demo}
 
 report.console.property_violation=error,trace
-
 #listener=gov.nasa.jpf.listener.SearchMonitor,gov.nasa.jpf.listener.CGLocations
 
 # Not to schedule in atomic blocks
-cg.threads.break_yield=false
+# approx 2G
 vm.max_transition_length = 2000000000
+
diff --git a/demo/cz/cuni/mff/d3s/deeco/demo/cloud/NodeA.java b/demo/cz/cuni/mff/d3s/deeco/demo/cloud/NodeA.java
@@ -48,6 +48,6 @@ public static ComponentKnowledge getInitialKnowledge() {
 	@DEECoPeriodicScheduling(6000)
 	public static void process(@DEECoOut("loadRatio") OutWrapper<Float> loadRatio) {
 		loadRatio.item = new Random().nextFloat();
-		System.out.println("Node A new load ratio: " + loadRatio.item);
+		System.out.println("Node A new load ratio: " + Math.round(loadRatio.item * 100) + "%");
 	}
 }
diff --git a/demo/cz/cuni/mff/d3s/deeco/demo/cloud/NodeB.java b/demo/cz/cuni/mff/d3s/deeco/demo/cloud/NodeB.java
@@ -48,6 +48,8 @@ public static ComponentKnowledge getInitialKnowledge() {
 	@DEECoPeriodicScheduling(6000)
 	public static void process(@DEECoOut("loadRatio") OutWrapper<Float> loadRatio) {
 		loadRatio.item = new Random().nextFloat();
-		System.out.println("Node B new load ratio: " + loadRatio.item);
+
+		System.out.println("Node B new load ratio: " + Math.round(loadRatio.item * 100) + "%");
 	}
+
 }