FIX: java.lang.Object should be java/lang/Object.

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

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 5d7e1d69ce025da9d2b0c36d805b37fa98c378d8..f20f5a8626d71108261535304c116788e78a3ccc 100644 (file)
--- 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"));
     }
   }  
       assertNull(c.getResource("not_existing_resources"));
     }
   }  

+
+  @Test
+  public void instanceOfArrayTest() {
+    String[] args = new String[0];
+    if (verifyNoPropertyViolation()) {
+      assert args instanceof Object;
+    }
+  }

 }
 }