test from \#104

Author: Daniel Kroening

regression/cbmc-java/static_method1/static_method1.class

@@ -0,0 +1,12 @@
+public class static_method1
+{ 
+
+  static public void f(int a, int b) {
+    int c = b/(a+1);
+  }
+
+  static public void g(int a, int b) {
+    int c = a/(b+1);
+  }
+
+}

regression/cbmc-java/static_method1/static_method1.java

@@ -0,0 +1,8 @@
+CORE
+static_method1.class
+
+^EXIT=10$
+^SIGNAL=0$
+^VERIFICATION FAILED$
+--
+^warning: ignoring