X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=src%2Ftests%2Fgov%2Fnasa%2Fjpf%2Ftest%2Fjava%2Flang%2FClassTest.java;h=f20f5a8626d71108261535304c116788e78a3ccc;hp=5d7e1d69ce025da9d2b0c36d805b37fa98c378d8;hb=d772dfa80ea692f916aa6718d04c4f7bfb2a746b;hpb=f7336c4df1322b1d586c0ebc34c10fd57f340667

diff --git a/src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java b/src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java
index 5d7e1d6..f20f5a8 100644
--- a/src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java
+++ b/src/tests/gov/nasa/jpf/test/java/lang/ClassTest.java
@@ -582,4 +582,12 @@ public class ClassTest extends TestJPF implements Cloneable, Serializable {
       assertNull(c.getResource("not_existing_resources"));
     }
   }  
+
+  @Test
+  public void instanceOfArrayTest() {
+    String[] args = new String[0];
+    if (verifyNoPropertyViolation()) {
+      assert args instanceof Object;
+    }
+  }
 }