Compile jbmc/boolean1 test sources

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

Author: peterschrammel

jbmc/regression/jbmc/boolean1/boolean1.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.boolean1</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/boolean1/pom.xml

@@ -1,6 +1,6 @@
 CORE
 boolean1
---function boolean1.doit
+--function boolean1.doit -cp target/classes
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

…c/regression/jbmc/boolean1/boolean1.java …bmc/boolean1/src/main/java/boolean1.javajbmc/regression/jbmc/boolean1/boolean1.java renamed to jbmc/regression/jbmc/boolean1/src/main/java/boolean1.java jbmc/regression/jbmc/boolean1/boolean1.java renamed to jbmc/regression/jbmc/boolean1/src/main/java/boolean1.java

@@ -1 +1 @@
-<?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</artifactId>    <version>1.0-SNAPSHOT</version>    <packaging>pom</packaging>    <parent>        <groupId>org.cprover.regression</groupId>        <artifactId>regression</artifactId>        <version>1.0-SNAPSHOT</version>    </parent>    <modules>        <module>aastore_aaload1</module>        <module>address_space_size_limit1</module>        <module>address_space_size_limit2</module>        <module>annotations1</module>        <module>annotations2</module>        <module>ArithmeticException1</module>        <module>ArithmeticException2</module>        <module>ArithmeticException3</module>        <module>ArithmeticException4</module>        <module>ArithmeticException5</module>        <module>ArithmeticException6</module>        <module>ArithmeticException7</module>        <module>array1</module>        <module>array2</module>        <module>array-cell-sensitivity1</module>        <module>array-cell-sensitivity2</module>        <module>array-cell-sensitivity-negative-size</module>        <module>array-cell-sensitivity-static-fields</module>        <module>array-clone</module>        <module>array_nonconstsize_nonconstaccess</module>        <module>ArrayIndexOutOfBoundsException1</module>        <module>ArrayIndexOutOfBoundsException2</module>        <module>ArrayIndexOutOfBoundsException3</module>        <module>arraylength1</module>        <module>arrayread1</module>        <module>assert1</module>        <module>assert2</module>        <module>assert3</module>        <module>assert4</module>        <module>assert5</module>        <module>assert6</module>        <module>assert7</module>        <module>assert-no-exceptions-thrown</module>        <module>assertion_error_constructors</module>        <module>assume1</module>        <module>assume2</module>        <module>assume3</module>        <module>assume-inputs-integral</module>        <module>assume-inputs-interval</module>        <module>assume-inputs-non-null</module>        <module>astore_aload1</module>        <module>athrow1</module>        <module>basic1</module>        <module>basic2</module>        <module>bitwise1</module>        <module>classpath-jar-load-whole-jar</module>    </modules></project>
+<?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</artifactId>    <version>1.0-SNAPSHOT</version>    <packaging>pom</packaging>    <parent>        <groupId>org.cprover.regression</groupId>        <artifactId>regression</artifactId>        <version>1.0-SNAPSHOT</version>    </parent>    <modules>        <module>aastore_aaload1</module>        <module>address_space_size_limit1</module>        <module>address_space_size_limit2</module>        <module>annotations1</module>        <module>annotations2</module>        <module>ArithmeticException1</module>        <module>ArithmeticException2</module>        <module>ArithmeticException3</module>        <module>ArithmeticException4</module>        <module>ArithmeticException5</module>        <module>ArithmeticException6</module>        <module>ArithmeticException7</module>        <module>array1</module>        <module>array2</module>        <module>array-cell-sensitivity1</module>        <module>array-cell-sensitivity2</module>        <module>array-cell-sensitivity-negative-size</module>        <module>array-cell-sensitivity-static-fields</module>        <module>array-clone</module>        <module>array_nonconstsize_nonconstaccess</module>        <module>ArrayIndexOutOfBoundsException1</module>        <module>ArrayIndexOutOfBoundsException2</module>        <module>ArrayIndexOutOfBoundsException3</module>        <module>arraylength1</module>        <module>arrayread1</module>        <module>assert1</module>        <module>assert2</module>        <module>assert3</module>        <module>assert4</module>        <module>assert5</module>        <module>assert6</module>        <module>assert7</module>        <module>assert-no-exceptions-thrown</module>        <module>assertion_error_constructors</module>        <module>assume1</module>        <module>assume2</module>        <module>assume3</module>        <module>assume-inputs-integral</module>        <module>assume-inputs-interval</module>        <module>assume-inputs-non-null</module>        <module>astore_aload1</module>        <module>athrow1</module>        <module>basic1</module>        <module>basic2</module>        <module>bitwise1</module>        <module>boolean1</module>        <module>classpath-jar-load-whole-jar</module>    </modules></project>