Adding a variable conflict tracker/listener; this is useful for both device and globa...

[jpf-core.git] / examples / Racer.java

diff --git a/examples/Racer.java b/examples/Racer.java
index 09c40028d4d85a45fc422fee27defbad7f70e08e..4decefe4a991fadf6eb68ae69f74648c182eeee1 100644 (file)
--- a/examples/Racer.java
+++ b/examples/Racer.java
@@ -2,15 +2,20 @@ public class Racer implements Runnable {
      int d = 42;
 
      public void run () {
+          System.out.println("Thread 2!");
           doSomething(1001);
-          d = 0;                              // (1)
+          //d = 0;                              // (1)
      }
 
      public static void main (String[] args){
           Racer racer = new Racer();
           Thread t = new Thread(racer);
           t.start();
+          
+          Thread t2 = new Thread(racer);
+          t2.start();
 
+          System.out.println("Thread main!");
           doSomething(1000);
           int c = 420 / racer.d;              // (2)
           System.out.println(c);