test for instanceof

Author: Daniel Kroening

regression/cbmc-java/instanceof1/instanceof1.class

@@ -0,0 +1,15 @@
+class instanceof1
+{
+
+  public static void main(String[] args)
+  {
+    // absolutely everything is an Object
+    assert args instanceof Object;
+    assert int.class instanceof Object;
+    assert "" instanceof String;
+
+    Object o=new Object();
+    assert ! (o instanceof String);
+  }
+  
+};

regression/cbmc-java/instanceof1/instanceof1.java

@@ -0,0 +1,8 @@
+KNOWNBUG
+instanceof1.class
+
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring