Unit test to show can load java.lang.Object

Author: NathanJPhillips

regression/cbmc-java/provide_object_implementation/java/lang/Object.class

@@ -0,0 +1,33 @@
+package java.lang;
+
+public class Object {
+    public final Class<?> getClass() {
+      return null;
+    }
+
+    public int hashCode() { return 0; }
+
+    public boolean equals(Object obj) { return (this == obj); }
+
+    protected Object clone() throws CloneNotSupportedException {
+      throw new CloneNotSupportedException();
+    }
+
+    public String toString() { return "object"; }
+
+    public final void notify() {}
+
+    public final void notifyAll() {}
+
+    public final void wait(long timeout) throws InterruptedException {
+      throw new InterruptedException();
+    }
+
+    public final void wait(long timeout, int nanos) throws InterruptedException {
+        wait(timeout);
+    }
+
+    public final void wait() throws InterruptedException { wait(0); }
+
+    protected void finalize() throws Throwable { }
+}

regression/cbmc-java/provide_object_implementation/java/lang/Object.java

@@ -0,0 +1,8 @@
+KNOWNBUG
+java/lang/Object.class
+
+^EXIT=6$
+^SIGNAL=0$
+^the program has no entry point$
+--
+^failed to add class symbol java::java\.lang\.Object$