not put together yet, but nice to have a task benchmark that avoids any special featu...

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

diff --git a/Robust/src/Benchmarks/TileSearch/NoOptional/GlobalCounter.java b/Robust/src/Benchmarks/TileSearch/NoOptional/GlobalCounter.java
new file mode 100644 (file)
index 0000000..68f853e
--- /dev/null
+++ b/Robust/src/Benchmarks/TileSearch/NoOptional/GlobalCounter.java
@@ -0,0 +1,10 @@
+public class GlobalCounter {
+    flag Init;
+    public int counter;
+       public boolean partial;
+
+    public GlobalCounter() {
+       counter = 0;
+       partial = false;
+    }
+}