Add tests for JBMC accepting a method name

Tests for various scenarios

Author: peterschrammel

jbmc/regression/jbmc/main-class-from-function/NoPackage$Nested$Deeper.class

@@ -0,0 +1,6 @@
+public class NoPackage {
+  public static class Nested {
+    public static class Deeper {
+    }
+  }
+}

jbmc/regression/jbmc/main-class-from-function/NoPackage$Nested.class

@@ -0,0 +1,6 @@
+package mypackage;
+
+public class Package {
+  public static class Inner {
+  }
+}

jbmc/regression/jbmc/main-class-from-function/NoPackage.class

@@ -0,0 +1,8 @@
+CORE
+
+'mypackage.Package$Inner.<init>'
+^EXIT=0$
+^SIGNAL=0$
+^Found Java main class: mypackage.Package\$Inner$
+--
+--

jbmc/regression/jbmc/main-class-from-function/NoPackage.java

@@ -0,0 +1,8 @@
+CORE
+
+'NoPackage$Nested$Deeper.<init>'
+^EXIT=0$
+^SIGNAL=0$
+^Found Java main class: NoPackage\$Nested\$Deeper$
+--
+--

jbmc/regression/jbmc/main-class-from-function/mypackage/Package$Inner.class

@@ -0,0 +1,8 @@
+CORE
+
+'NoPackage.<init>:()V'
+^EXIT=0$
+^SIGNAL=0$
+^Found Java main class: NoPackage$
+--
+--

jbmc/regression/jbmc/main-class-from-function/mypackage/Package.class

@@ -0,0 +1,8 @@
+CORE
+
+'mypackage.Package.<init>'
+^EXIT=0$
+^SIGNAL=0$
+^Found Java main class: mypackage.Package$
+--
+--

jbmc/regression/jbmc/main-class-from-function/mypackage/Package.java

@@ -0,0 +1,8 @@
+CORE
+
+'mypackage.Baggage'
+^EXIT=6$
+^SIGNAL=0$
+^Error: Could not find or load main class mypackage\.Baggage$
+--
+--

jbmc/regression/jbmc/main-class-from-function/test_inner.desc

@@ -0,0 +1,8 @@
+CORE
+
+mypackage.Baggage.do
+^EXIT=6$
+^SIGNAL=0$
+^Error: Could not find or load main class mypackage\.Baggage\.do$
+--
+--

jbmc/regression/jbmc/main-class-from-function/test_inner_inner.desc

@@ -0,0 +1,9 @@
+CORE
+
+'mypackage.Package.do:()V'
+^EXIT=6$
+^SIGNAL=0$
+^Found Java main class: mypackage.Package$
+^main symbol resolution failed: 'mypackage.Package.do:\(\)V' not found$
+--
+--