FIX: java.lang.Object should be java/lang/Object.
[jpf-core.git] / src / tests / gov / nasa / jpf / test / java / lang / ClassTest.java
index 5d7e1d6..f20f5a8 100644 (file)
@@ -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;
+    }
+  }
 }