Fix build in new regression tests

ultimate-pa · Aug 19, 2024 · 46204d4 · 46204d4
1 parent 53891a1
commit 46204d4
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 4 deletions.
diff --git a/...g/informatik/ultimate/regressiontest/generic/ReqCheckerRedundancyRegressionTestSuite.java b/...g/informatik/ultimate/regressiontest/generic/ReqCheckerRedundancyRegressionTestSuite.java
@@ -76,7 +76,8 @@ public ReqCheckerRedundancyRegressionTestSuite() {
 	}
 
 	@Override
-	protected ITestResultDecider getTestResultDecider(final UltimateRunDefinition runDefinition) {
+	protected ITestResultDecider getTestResultDecider(final UltimateRunDefinition runDefinition,
+			final String overridenExpectedVerdict) {
 		return new ReqCheckerTestResultDecider(runDefinition, false);
 	}
 
@@ -173,7 +174,8 @@ public boolean isSuccess(final ReqCheckerResult actual) {
 				}
 				return false;
 			}
-			if ((mNoResults != -1 && actual.mNoResults != mNoResults) || DataStructureUtils.isDifferent(actual.mRedundant, mRedundant)) {
+			if ((mNoResults != -1 && actual.mNoResults != mNoResults)
+					|| DataStructureUtils.isDifferent(actual.mRedundant, mRedundant)) {
 				return false;
 			}
 			return true;

diff --git a/...e/uni_freiburg/informatik/ultimate/regressiontest/generic/WitnessRegressionTestSuite.java b/...e/uni_freiburg/informatik/ultimate/regressiontest/generic/WitnessRegressionTestSuite.java
@@ -61,7 +61,8 @@ public WitnessRegressionTestSuite() {
 	}
 
 	@Override
-	protected ITestResultDecider getTestResultDecider(final UltimateRunDefinition runDefinition) {
+	protected ITestResultDecider getTestResultDecider(final UltimateRunDefinition runDefinition,
+			final String overridenExpectedVerdict) {
 		return new WitnessSafetyCheckTestResultDecider(runDefinition);
 	}
 
@@ -77,7 +78,7 @@ public Collection<UltimateTestCase> createTestCases() {
 					final File[] newFiles = DataStructureUtils.concat(def.getInput(), new File[] { witness });
 					final UltimateRunDefinition newDef = new UltimateRunDefinition(newFiles, def.getSettings(),
 							def.getToolchain(), def.getTimeout());
-					result.add(new UltimateTestCase(getTestResultDecider(def), newDef, List.of(), null));
+					result.add(new UltimateTestCase(getTestResultDecider(def, null), newDef, List.of(), null));
 				}
 			}
 		}