Compile jbmc/assume-inputs-non-null test sources

Add pom.xml for compilation, move sources, remove obsolete pre-compiled class files.

Author: peterschrammel

jbmc/regression/jbmc/assume-inputs-non-null/My.class

@@ -1,6 +1,6 @@
 CORE
 My
---function My.classArg --java-assume-inputs-non-null --max-nondet-string-length 1000
+--function My.classArg --java-assume-inputs-non-null --max-nondet-string-length 1000 -cp target/classes
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

jbmc/regression/jbmc/assume-inputs-non-null/Other.class

@@ -1,6 +1,6 @@
 CORE
 My
---function My.field --java-assume-inputs-non-null
+--function My.field --java-assume-inputs-non-null -cp target/classes
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

jbmc/regression/jbmc/assume-inputs-non-null/Other2.class

@@ -0,0 +1,30 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xmlns="http://maven.apache.org/POM/4.0.0"
+         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+    <modelVersion>4.0.0</modelVersion>
+    <groupId>org.cprover.regression</groupId>
+    <artifactId>regression.jbmc.assume-inputs-non-null</artifactId>
+    <version>1.0-SNAPSHOT</version>
+
+    <parent>
+        <groupId>org.cprover.regression</groupId>
+        <artifactId>regression.jbmc</artifactId>
+        <version>1.0-SNAPSHOT</version>
+    </parent>
+
+    <build>
+        <plugins>
+            <plugin>
+                <artifactId>maven-jar-plugin</artifactId>
+                <executions>
+                    <execution>
+                        <id>default-jar</id>
+                        <phase>none</phase>
+                    </execution>
+                </executions>
+            </plugin>
+        </plugins>
+    </build>
+
+</project>

jbmc/regression/jbmc/assume-inputs-non-null/class_assume.desc

@@ -1,6 +1,6 @@
 CORE
 My
---function My.stringArrayArg --java-assume-inputs-non-null
+--function My.stringArrayArg --java-assume-inputs-non-null -cp target/classes
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

jbmc/regression/jbmc/assume-inputs-non-null/field_assume.desc

@@ -1,6 +1,6 @@
 CORE
 My
---function My.stringArrayArg
+--function My.stringArrayArg -cp target/classes
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

jbmc/regression/jbmc/assume-inputs-non-null/pom.xml

@@ -1,6 +1,6 @@
 CORE
 My
---function My.stringArg --java-assume-inputs-non-null --max-nondet-string-length 10
+--function My.stringArg --java-assume-inputs-non-null --max-nondet-string-length 10 -cp target/classes
 ^EXIT=10$
 ^SIGNAL=0$
 ^VERIFICATION FAILED$

jbmc/regression/jbmc/assume-inputs-non-null/My.java renamed to jbmc/regression/jbmc/assume-inputs-non-null/src/main/java/My.java

@@ -54,6 +54,7 @@
         <module>assume3</module>
         <module>assume-inputs-integral</module>
         <module>assume-inputs-interval</module>
+        <module>assume-inputs-non-null</module>
         <module>classpath-jar-load-whole-jar</module>
     </modules>