From 26986796bdb6009115f49e34fb3ce211886bba5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frank=20Sch=C3=BCssele?=
 <schuessf@informatik.uni-freiburg.de>
Date: Thu, 16 Feb 2023 16:47:03 +0100
Subject: [PATCH] Introduce NoRegression JUnit category (#611)

---
 Jenkinsfile.nightly                           |  3 +-
 .../categories/NoRegression.java              | 39 +++++++++++++++++++
 2 files changed, 40 insertions(+), 2 deletions(-)
 create mode 100644 trunk/source/Library-UltimateTest/src/de/uni_freiburg/informatik/ultimate/test/junitextension/categories/NoRegression.java

diff --git a/Jenkinsfile.nightly b/Jenkinsfile.nightly
index d441b3baf46..0a9fbc21a4f 100644
--- a/Jenkinsfile.nightly
+++ b/Jenkinsfile.nightly
@@ -114,8 +114,7 @@ pipeline {
       }
       steps {
           withMaven(mavenOpts: '-Xmx4g -Xss4m -ea', options: [artifactsPublisher(disabled: true), junitPublisher(healthScaleFactor: 1.0, keepLongStdio: true, skipPublishingChecks: false)]) {
-            //TODO Remove using icfgtransformer tests as test of the jenkinsfile (was: -Dtest=QuadraticMatrixTest )
-            sh 'cd trunk/source/BA_MavenParentUltimate && mvn -T 1C clean install -Pcoverage -Dmaven.test.failure.ignore=true'
+            sh 'cd trunk/source/BA_MavenParentUltimate && mvn -T 1C clean install -Pcoverage -Dmaven.test.failure.ignore=true -DexcludedGroups=de.uni_freiburg.informatik.ultimate.test.junitextension.categories.NoRegression'
           }
       }
     }
diff --git a/trunk/source/Library-UltimateTest/src/de/uni_freiburg/informatik/ultimate/test/junitextension/categories/NoRegression.java b/trunk/source/Library-UltimateTest/src/de/uni_freiburg/informatik/ultimate/test/junitextension/categories/NoRegression.java
new file mode 100644
index 00000000000..b2001b20eae
--- /dev/null
+++ b/trunk/source/Library-UltimateTest/src/de/uni_freiburg/informatik/ultimate/test/junitextension/categories/NoRegression.java
@@ -0,0 +1,39 @@
+/*
+ * Copyright (C) 2023 Frank Schüssele (schuessf@informatik.uni-freiburg.de)
+ * Copyright (C) 2015 University of Freiburg
+ *
+ * This file is part of the ULTIMATE JUnit Helper Library.
+ *
+ * The ULTIMATE JUnit Helper Library is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as published
+ * by the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * The ULTIMATE JUnit Helper Library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with the ULTIMATE JUnit Helper Library. If not, see <http://www.gnu.org/licenses/>.
+ *
+ * Additional permission under GNU GPL version 3 section 7:
+ * If you modify the ULTIMATE JUnit Helper Library, or any covered work, by linking
+ * or combining it with Eclipse RCP (or a modified version of Eclipse RCP),
+ * containing parts covered by the terms of the Eclipse Public License, the
+ * licensors of the ULTIMATE JUnit Helper Library grant you additional permission
+ * to convey the resulting work.
+ */
+
+package de.uni_freiburg.informatik.ultimate.test.junitextension.categories;
+
+/**
+ * This class is used as a JUnit category marker. Tests in this category are excluded from the nightly regression tests,
+ * e.g. because they are just made to run locally.
+ *
+ * @author Frank Schüssele (schuessf@informatik.uni-freiburg.de)
+ *
+ */
+public interface NoRegression {
+
+}