Add first fixed_bugs test

For bug #95

Author: Joel Allred

regression/strings/fixed_bugs/Makefile

@@ -0,0 +1,9 @@
+
+test:
+	@../../test.pl -c ../../../../src/cbmc/cbmc
+
+testfuture:
+	@../../test.pl -c ../../../../src/cbmc/cbmc -CF
+
+testall:
+	@../../test.pl -c ../../../../src/cbmc/cbmc -CFTK

regression/strings/fixed_bugs/test-gen-095/test.class

@@ -0,0 +1,7 @@
+KNOWNBUG
+test.class
+--string-refine
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--

regression/strings/fixed_bugs/test-gen-095/test.desc

@@ -0,0 +1,10 @@
+public class test
+{
+   public static void main(String[] args)
+   {
+      StringBuilder sb = new StringBuilder(args[0]);
+      sb.append("Z");
+      String s = sb.toString();
+      assert(s.equals("fg"));
+   }
+}