Exclude QuantifierEliminationDivModTodos from regression tests (#611)

ultimate-pa · Feb 27, 2023 · 6627482 · 6627482
1 parent 2143439
commit 6627482
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/..._freiburg/informatik/ultimate/modelcheckerutils/smt/QuantifierEliminationDivModTodos.java b/..._freiburg/informatik/ultimate/modelcheckerutils/smt/QuantifierEliminationDivModTodos.java
@@ -33,6 +33,7 @@
 import org.junit.Before;
 import org.junit.BeforeClass;
 import org.junit.Test;
+import org.junit.experimental.categories.Category;
 
 import de.uni_freiburg.informatik.ultimate.core.model.services.ILogger;
 import de.uni_freiburg.informatik.ultimate.core.model.services.ILogger.LogLevel;
@@ -43,14 +44,16 @@
 import de.uni_freiburg.informatik.ultimate.logic.LoggingScript;
 import de.uni_freiburg.informatik.ultimate.logic.Logics;
 import de.uni_freiburg.informatik.ultimate.logic.Script;
+import de.uni_freiburg.informatik.ultimate.test.junitextension.categories.NoRegression;
 import de.uni_freiburg.informatik.ultimate.test.mocks.UltimateMocks;
 
-
 /**
  *
  * @author Matthias Heizmann ([email protected])
  *
  */
+// These tests are work in progress and should not run as regression tests.
+@Category(NoRegression.class)
 public class QuantifierEliminationDivModTodos {
 
 	/**