Clang-format original regression tests

Author: yumibagge

jbmc/regression/jbmc-strings/IndexOfConstantEvaluation01-String/Main.class

@@ -1,13 +1,14 @@
 public class Main {
-    public void constantIndexOf() {
-        String s1 = "abcabc";
-        String s2 = "bc";
-        assert s1.indexOf(s2) == 1;
-        assert s1.indexOf(s2, -10) == 1;
-        assert s1.indexOf("") == 0;
-        assert s1.indexOf(s2, 3) == 4;
-        assert s1.indexOf("cd") == -1;
-        assert s1.indexOf(s2, 10) == -1;
-        assert s1.indexOf("", 10) == -1;
-    }
+
+  public void constantIndexOf() {
+    String s1 = "abcabc";
+    String s2 = "bc";
+    assert s1.indexOf(s2) == 1;
+    assert s1.indexOf(s2, -10) == 1;
+    assert s1.indexOf("") == 0;
+    assert s1.indexOf(s2, 3) == 4;
+    assert s1.indexOf("cd") == -1;
+    assert s1.indexOf(s2, 10) == -1;
+    assert s1.indexOf("", 10) == -1;
+  }
 }

jbmc/regression/jbmc-strings/IndexOfConstantEvaluation01-String/Main.java

@@ -1,10 +1,11 @@
 public class Main {
-    public void constantIndexOf() {
-        String s1 = "abcabc";
-        assert s1.indexOf('b') == 1;
-        assert s1.indexOf('b', -10) == 1;
-        assert s1.indexOf('b', 3) == 4;
-        assert s1.indexOf('d') == -1;
-        assert s1.indexOf('b', 10) == -1;
-    }
+
+  public void constantIndexOf() {
+    String s1 = "abcabc";
+    assert s1.indexOf('b') == 1;
+    assert s1.indexOf('b', -10) == 1;
+    assert s1.indexOf('b', 3) == 4;
+    assert s1.indexOf('d') == -1;
+    assert s1.indexOf('b', 10) == -1;
+  }
 }

jbmc/regression/jbmc-strings/IndexOfConstantEvaluation02-char/Main.class

@@ -1,6 +1,7 @@
 public class Main {
-    public void constantIndexOf(String arg) {
-        String s1 = "abcabc";
-        assert s1.indexOf(arg, 10) == -1;
-    }
+
+  public void constantIndexOf(String arg) {
+    String s1 = "abcabc";
+    assert s1.indexOf(arg, 10) == -1;
+  }
 }

jbmc/regression/jbmc-strings/IndexOfConstantEvaluation02-char/Main.java

@@ -1,23 +1,24 @@
 public class Main {
-    public void constantIndexOf(String s, char c, int i) {
 
-        String s1 = "abcabc";
-        String s2 = "bc";
+  public void constantIndexOf(String s, char c, int i) {
 
-        assert s1.indexOf(c) == 1;
-        assert s1.indexOf(s) == 1;
-        assert s1.indexOf(c, 1) == 1;
-        assert s1.indexOf(s, 1) == 1;
+    String s1 = "abcabc";
+    String s2 = "bc";
 
-        assert s.indexOf('a') == 1;
-        assert s.indexOf(s1) == 1;
-        assert s.indexOf('a', 1) == 1;
-        assert s.indexOf(s1, 1) == 1;
+    assert s1.indexOf(c) == 1;
+    assert s1.indexOf(s) == 1;
+    assert s1.indexOf(c, 1) == 1;
+    assert s1.indexOf(s, 1) == 1;
 
-        assert s1.indexOf(s, -10) == 1;
-        assert s1.indexOf(c, -10) == 1;
+    assert s.indexOf('a') == 1;
+    assert s.indexOf(s1) == 1;
+    assert s.indexOf('a', 1) == 1;
+    assert s.indexOf(s1, 1) == 1;
 
-        assert s1.indexOf(s2, i) == 1;
-        assert s1.indexOf('a', i) == 1;
-    }
+    assert s1.indexOf(s, -10) == 1;
+    assert s1.indexOf(c, -10) == 1;
+
+    assert s1.indexOf(s2, i) == 1;
+    assert s1.indexOf('a', i) == 1;
+  }
 }