From 834ab237e720f8192efc4939b5bc383093f7eac3 Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Thu, 13 Sep 2007 07:07:34 +0000
Subject: [PATCH] testfile for remote thread invocation

---
 Robust/src/Tests/remotethreadtest.java | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 Robust/src/Tests/remotethreadtest.java

diff --git a/Robust/src/Tests/remotethreadtest.java b/Robust/src/Tests/remotethreadtest.java
new file mode 100644
index 00000000..db58452b
--- /dev/null
+++ b/Robust/src/Tests/remotethreadtest.java
@@ -0,0 +1,14 @@
+public class RemoteThread extends Thread {
+	public RemoteThread() {
+	}
+
+	public static void main(String[] st) {
+		int mid = 127;
+		RemoteThread t =null;
+		atomic {
+		    t= global new RemoteThread();
+		}
+		t.start(mid);
+	}
+}
+
-- 
2.34.1