add new benchmark TileSearch

[IRC.git] / Robust / src / Benchmarks / TileSearch / Tag / GlobalCounter.java

diff --git a/Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java b/Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java
new file mode 100644 (file)
index 0000000..53e0258
--- /dev/null
+++ b/Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java
@@ -0,0 +1,8 @@
+public class GlobalCounter {
+    flag Init;
+    public int counter;
+
+    public GlobalCounter() {
+       counter = 0;
+    }
+}