Introduce NoRegression JUnit category (#611)

Author: schuessf

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'
           }
       }
     }

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 ([email protected])
+ * 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 ([email protected])
+ *
+ */
+public interface NoRegression {
+
+}