Fix for System.in.available().

[jpf-core.git] / src / tests / gov / nasa / jpf / test / java / lang / SystemTest.java

diff --git a/src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java b/src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java
index 836a16944cbae643fe19b36cdf7d106d5f8a4bf2..da2deb17710da58f328539da0025652925e2081b 100644 (file)
--- a/src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java
+++ b/src/tests/gov/nasa/jpf/test/java/lang/SystemTest.java
@@ -20,6 +20,8 @@ package gov.nasa.jpf.test.java.lang;
 import gov.nasa.jpf.util.test.TestJPF;
 import gov.nasa.jpf.vm.Verify;
 
+import java.io.IOException;
+
 import org.junit.Test;
 
 /**
@@ -149,4 +151,15 @@ public class SystemTest extends TestJPF {
       }
     }
   }
+
+  @Test
+  public void testSystemIn() {
+    try {
+      if (verifyNoPropertyViolation()) {
+        assert(System.in.available() == 0);
+      }
+    } catch (IOException e) {
+      fail(e.getMessage());
+    }
+  }
 }