latest bug fixing and new benchmarks

[IRC.git] / Robust / src / Analysis / Scheduling / SchedulingUtil.java

diff --git a/Robust/src/Analysis/Scheduling/SchedulingUtil.java b/Robust/src/Analysis/Scheduling/SchedulingUtil.java
index 37ff19817ef6d9986808c948c351fdcbfab4bb22..2a629edcab33a4b8eb396e3dfc3f07fd0611eb2e 100644 (file)
--- a/Robust/src/Analysis/Scheduling/SchedulingUtil.java
+++ b/Robust/src/Analysis/Scheduling/SchedulingUtil.java
@@ -235,6 +235,7 @@ public class SchedulingUtil {
                                    edgedotnodeparams+=", "+newoption;
                            }
                            edgelabel+=":[" + ((FEdge)edge).getExeTime() + "]";
+                           edgelabel+=":(" + ((FEdge)edge).getProbability() + "%)";
                            Hashtable<ClassDescriptor, NewObjInfo> hashtable = ((FEdge)edge).getNewObjInfoHashtable();
                            if(hashtable != null) {
                                Set<ClassDescriptor> keys = hashtable.keySet();