From: Cyrille Artho <artho@kth.se>
Date: Thu, 20 Dec 2018 14:00:30 +0000 (+0100)
Subject: Added test on redirecting stdout to a file.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=2fc7c6100c2bb7cf4452ecfd72a628d6c06e3188;p=jpf-core.git

Added test on redirecting stdout to a file.
	modified:   src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java
---

diff --git a/src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java b/src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java
index c36b603..21a7fec 100644
--- a/src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java
+++ b/src/tests/gov/nasa/jpf/test/java/io/FileIOTest.java
@@ -20,6 +20,7 @@ package gov.nasa.jpf.test.java.io;
 
 import gov.nasa.jpf.util.test.TestJPF;
 
+import java.io.BufferedOutputStream;
 import java.io.BufferedReader;
 import java.io.File;
 import java.io.FileInputStream;
@@ -28,6 +29,7 @@ import java.io.FileOutputStream;
 import java.io.IOException;
 import java.io.InputStreamReader;
 import java.io.OutputStreamWriter;
+import java.io.PrintStream;
 import java.io.PrintWriter;
 import java.util.ArrayList;
 import java.util.Random;
@@ -116,6 +118,20 @@ public class FileIOTest extends TestJPF {
     }
   }
 
+  @Test
+  public void testRedirection() throws IOException {
+    if (verifyNoPropertyViolation()) {
+        System.out.println("Before.");
+        FileOutputStream out = new FileOutputStream("output.txt");
+        System.setOut(new PrintStream(new BufferedOutputStream(out), true));
+        System.out.println("After.");
+        out.close();
+        FileInputStream is = new FileInputStream(new File("output.txt"));
+        assert (is.read() == (int)'A');
+        is.close();
+    }
+  }
+
   private boolean isInCurrentDirList(String fn) {
     for (String s : new File(".").list()) {
       if (fn.equals(s)) {