changes and data/eval files for new evaluations

[IRC.git] / Robust / src / Benchmarks / SSJava / JavaNator / TestSensorInput.java

diff --git a/Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java b/Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java
index 046a700b1122d3763ba3512e28bbc13d8eb6f5cb..a6b3d378f2c8a390e5b64fd9adb8f1768235e035 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java
+++ b/Robust/src/Benchmarks/SSJava/JavaNator/TestSensorInput.java
@@ -1,6 +1,7 @@
 public class TestSensorInput {
 
   private static FileInputStream inputFile;
+  private static int idx=0;
 
   @TRUST
   public static void init() {
@@ -11,9 +12,15 @@ public class TestSensorInput {
   public static byte getCommand() {
     String in = inputFile.readLine();
     if (in == null) {
-      return (byte) -1;
+       return (byte) -1;
     }
+    // DEBUG_OUTPUT();
     return (byte) Integer.parseInt(in);
   }
+  
+  public static DEBUG_OUTPUT(){
+    idx++;
+    System.out.println(idx);
+  }
 
 }