Tests to ensure invalid values in the classpath are ignored

Author: NathanJPhillips

regression/cbmc-java/invalid_classpath/Test.class

@@ -0,0 +1,3 @@
+public class Test {
+    public void main() {}
+}

regression/cbmc-java/invalid_classpath/Test.java

@@ -0,0 +1,7 @@
+KNOWNBUG
+Test.class
+--classpath ./NotHere.jar
+^EXIT=6$
+^SIGNAL=0$
+^the program has no entry point$
+^failed to load class `Test'$

regression/cbmc-java/invalid_classpath/test-jar.desc

@@ -0,0 +1,7 @@
+CORE
+Test.class
+--classpath ./NotHere
+^EXIT=6$
+^SIGNAL=0$
+^the program has no entry point$
+^failed to load class `Test'$