+ regression test for Java exception handling

Author: cristina-david

regression/cbmc-java/exceptions18/A.class

@@ -0,0 +1,23 @@
+class A extends RuntimeException {}
+class B extends A {}
+
+public class Test {
+  void foo()
+  {
+    A a=new A();
+    throw a;
+  }
+  void goo()
+  {
+    try
+    {
+      foo();
+      assert false;
+    }
+    catch(B e)
+    {
+      assert false;
+    } 
+  }
+  
+}

regression/cbmc-java/exceptions18/Test.class

@@ -0,0 +1,8 @@
+CORE
+Test.class
+--function Test.goo
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring