spotless, add integration tests to :test goal

Author: wadoon

key.core/src/test/java/de/uka/ilkd/key/util/TestMiscTools.java

@@ -21,9 +21,9 @@
 
 import de.uka.ilkd.key.java.recoderext.URLDataLocation;
 
-import org.junit.jupiter.api.Disabled;
 import org.key_project.util.java.IOUtil;
 
+import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Test;
 import recoder.io.ArchiveDataLocation;
 import recoder.io.DataFileLocation;
@@ -60,7 +60,7 @@ public void testMakeFilenameRelativeUnix() {
 
     @Test
     @Disabled("This test succeeds on Windows 10, but fails on github-runner (Windows Server)." +
-            "Reason unclear. Not debuggable at the moment.")
+        "Reason unclear. Not debuggable at the moment.")
     public void testMakeFilenameRelativeWindows() {
         // run only on Windows systems
         if (File.separatorChar != '\\') {

keyext.proofmanagement/build.gradle

@@ -36,7 +36,7 @@ def testIntegrationReport2 = tasks.register('testIntegrationReport2', JavaExec)
     args('check', '--missing', '--settings', '--report', 'proofManagementReport.html', '--replay', '--dependency',
             'src/test/pmexample2')
 }
-check.dependsOn(testIntegrationReport, testIntegrationReport2)
+test.dependsOn(testIntegrationReport, testIntegrationReport2)
 
 run {
     // for debugging, something like this can be used:

keyext.proofmanagement/src/main/java/org/key_project/proofmanagement/check/CheckerData.java

@@ -507,7 +507,7 @@ public boolean replaySuccess() {
         public AbstractProblemLoader.ReplayResult replayResult;
 
         public Integer settingsId() {
-          return choices2Id.get(proof.getSettings().getChoiceSettings().getDefaultChoices());
+            return choices2Id.get(proof.getSettings().getChoiceSettings().getDefaultChoices());
         }
     }
 }

keyext.proofmanagement/src/main/java/org/key_project/proofmanagement/check/KeYFacade.java

@@ -33,14 +33,13 @@
 import de.uka.ilkd.key.strategy.StrategyProperties;
 import de.uka.ilkd.key.util.ProgressMonitor;
 
+import org.key_project.proofmanagement.check.CheckerData.ProofEntry;
 import org.key_project.proofmanagement.check.dependency.DependencyGraph;
 import org.key_project.proofmanagement.check.dependency.DependencyGraphBuilder;
 import org.key_project.proofmanagement.io.LogLevel;
 import org.key_project.proofmanagement.io.Logger;
 import org.key_project.proofmanagement.io.ProofBundleHandler;
 
-import org.key_project.proofmanagement.check.CheckerData.ProofEntry;
-
 /**
  * This class provides static methods to access the prover (KeY).
  *
@@ -320,7 +319,7 @@ public static void ensureProofsReplayed(CheckerData data) throws ProofManagement
     }
 
     private static ReplayResult replayProof(CheckerData.ProofEntry line, EnvInput envInput,
-                                            Logger logger) throws ProofInputException {
+            Logger logger) throws ProofInputException {
         Proof proof = line.proof;
         logger.print(LogLevel.INFO, "Starting replay of proof " + proof.name());
 

keyext.proofmanagement/src/main/java/org/key_project/proofmanagement/io/HTMLReport.java

@@ -10,12 +10,12 @@
 import java.util.HashMap;
 import java.util.Map;
 
-import freemarker.template.DefaultObjectWrapper;
 import org.key_project.proofmanagement.check.CheckerData;
 import org.key_project.proofmanagement.check.PathNode;
 import org.key_project.util.java.IOUtil;
 
 import freemarker.template.Configuration;
+import freemarker.template.DefaultObjectWrapper;
 import freemarker.template.Template;
 import freemarker.template.TemplateException;
 

keyext.proofmanagement/src/main/resources/report/html/report.ftl

@@ -165,7 +165,7 @@
 				<td>
 					<div title="${entry.proofFile.toFile()}"> ${entry.proofFile.toFile().name}</div>
 				</td>
-				<td><a href="#settings-${entry.settingsId(checkerData)}">#${entry.settingsId(checkerData)?string("00")}</a></td>
+				<td><a href="#settings-${entry.settingsId()}">#${entry.settingsId()?string("00")}</a></td>
 				<td>${entry.loadingState}</td>
 				<td>${entry.replayState}</td>
 				<td>${entry.proofState}</td>