Fixed branch decision as well

models/WSC/experiment_example.mvc

@@ -19,9 +19,7 @@ def main():
         results = results + str(i)
         for v in range(2, 100):
             results = results + ' ' + str(simulate(i, v))
-            print(results)
         results = results + '\n'
-    print('Result: ' + results)
     return results
     """
 }

models/WSC/pm_example.mvc

@@ -33,7 +33,7 @@ Activity evaluate {
 }
 ExclusiveChoice choice {
     name = "xor_0"
-    distribution = "lambda iteration: int(random.random() < {0: 0.99, 1: 0.9, 2: 0.8, 3: 0.5, 4: 0.2, 5: 0.1, 6: 0.02}.get(iteration, 0.0))"
+    distribution = "lambda iteration: int(random.random() > {0: 0.99, 1: 0.9, 2: 0.8, 3: 0.5, 4: 0.2, 5: 0.1, 6: 0.02}.get(iteration, 0.0))"
 }
 Finish finish {
     name = "finish"

wrappers/modelverse_SCCD.py

@@ -1,7 +1,7 @@
 """
 Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
 
-Date:   Tue May 15 16:34:02 2018
+Date:   Tue May 15 16:42:31 2018
 
 Model author: Yentl Van Tendeloo
 Model name:   MvK Server