print out a warning msg when we have a nondeterministic inlining.

[IRC.git] / Robust / src / Tests / TaskExample.java

diff --git a/Robust/src/Tests/TaskExample.java b/Robust/src/Tests/TaskExample.java
index d271abe8fda635528a4ce7db98b5e91acffb4fa6..8ad37b3409587e5e16194f35283a7fcda99b40cc 100644 (file)
--- a/Robust/src/Tests/TaskExample.java
+++ b/Robust/src/Tests/TaskExample.java
@@ -16,12 +16,13 @@ class Example {
 task Startup(StartupObject s {initialstate}) {
     for(int i=0;i<10;i++) {
        Example e=new Example() {needoperation};
-       e.x=i+2;
+       e.x=i;
        e.y=2;
        e.operation=i%2;
     }
     
     taskexit(s {!initialstate}); /* Turns initial state flag off, so this task won't refire */
+
 }
 
 /* Fails for x=1 */