Compile jbmc/classpath-jar-load-whole-jar test sources

Fix pom.xml for compilation, remove obsolete pre-compiled jar file.
diffblue · Nov 10, 2024 · 15524c7 · 15524c7
1 parent 1ce8ea1
commit 15524c7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/jbmc/regression/jbmc/classpath-jar-load-whole-jar/pom.xml b/jbmc/regression/jbmc/classpath-jar-load-whole-jar/pom.xml
@@ -4,9 +4,15 @@
          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</artifactId>
+  <artifactId>regression.jbmc.classpath-jar-load-whole-jar</artifactId>
   <version>1.0-SNAPSHOT</version>
 
+  <parent>
+    <groupId>org.cprover.regression</groupId>
+    <artifactId>regression.jbmc</artifactId>
+    <version>1.0-SNAPSHOT</version>
+  </parent>
+
   <build>
     <finalName>jar-file</finalName>
     <plugins>
@@ -24,9 +30,4 @@
     </plugins>
   </build>
 
-  <properties>
-   <maven.compiler.source>1.8</maven.compiler.source>
-   <maven.compiler.target>1.8</maven.compiler.target>
-  </properties>
-
 </project>
diff --git a/jbmc/regression/jbmc/classpath-jar-load-whole-jar/target/jar-file.jar b/jbmc/regression/jbmc/classpath-jar-load-whole-jar/target/jar-file.jar