From: adash Date: Mon, 17 Dec 2007 03:58:06 +0000 (+0000) Subject: fixed bug X-Git-Tag: preEdgeChange~335 X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7586f1dcda250c96f8900a5d8bf0982a5ab029e2;p=IRC.git fixed bug --- diff --git a/Robust/src/Tests/Atomic4.java b/Robust/src/Tests/Atomic4.java index 0f59381e..bc029fc6 100644 --- a/Robust/src/Tests/Atomic4.java +++ b/Robust/src/Tests/Atomic4.java @@ -19,7 +19,7 @@ public class Atomic4 extends Thread { } atomic { age = global new Integer(70); - name = global new String("Harry Potter"); + name = global new String("John Smith"); at4.team[1] = global new People(name,age); c = at4.team[1].getAge(); } @@ -34,19 +34,17 @@ public class Atomic4 extends Thread { } public int run() { - String name; + String name = ""; int a; boolean old = false; atomic { - //FIXME a bug value of trans commit is not saved - //a = root.value.intValue(); a = team[1].getAge(); name = team[1].getName(); if(a > 65) old = true; } if(old){ - System.printString(name + " gets Pension"); + System.printString(" gets Pension"); System.printString("\n"); } }