Rectifies the java.lang.NoSuchMethodError when usinf printf (#172)

[jpf-core.git] / src / tests / gov / nasa / jpf / test / java / io / PrintStreamTest.java

diff --git a/src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java b/src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java
index 47556f27252692cae59de3464871f7c23559d6f0..6cadb3238ca1bbc07415d717452ab1e992ec8461 100644 (file)
--- a/src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java
+++ b/src/tests/gov/nasa/jpf/test/java/io/PrintStreamTest.java
@@ -30,13 +30,13 @@ import org.junit.Test;
  */
 public class PrintStreamTest extends TestJPF {
 
-  @Test // currently fails with: java.lang.NoSuchMethodError: java.util.regex.Matcher.find(I)Z
+  @Test 
   public void testPrintCharFormat () {
     if (verifyNoPropertyViolation()){
        ByteArrayOutputStream baos = new ByteArrayOutputStream(1);
        PrintStream baps = new PrintStream(baos, true);
-//     baps.printf("%c", 'a'); // fails
-//     assert (baos.toByteArray()[0] == 97);
+       baps.printf("%c", 'a'); 
+       assert (baos.toByteArray()[0] == 97);
     }
   }
-}
+}
\ No newline at end of file