added test for Boolean parameters

Author: Daniel Kroening

regression/cbmc-java/boolean1/boolean1.class

@@ -0,0 +1,12 @@
+class boolean1 {
+
+  static public void doit(boolean a, int div)
+  {
+    // Boolean shall be either true or false.
+    if (a == true) return;
+    if (a == false) return;
+
+    assert false;
+  }
+
+};

regression/cbmc-java/boolean1/boolean1.java

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