From 6627482ff2afc6fe352190abb59ef15658c1e779 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Mon, 27 Feb 2023 18:48:44 +0100 Subject: [PATCH] Exclude QuantifierEliminationDivModTodos from regression tests (#611) --- .../smt/QuantifierEliminationDivModTodos.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/trunk/source/Library-ModelCheckerUtilsTest/src/de/uni_freiburg/informatik/ultimate/modelcheckerutils/smt/QuantifierEliminationDivModTodos.java b/trunk/source/Library-ModelCheckerUtilsTest/src/de/uni_freiburg/informatik/ultimate/modelcheckerutils/smt/QuantifierEliminationDivModTodos.java index 5a00f7aa12b..9560a4cf8db 100644 --- a/trunk/source/Library-ModelCheckerUtilsTest/src/de/uni_freiburg/informatik/ultimate/modelcheckerutils/smt/QuantifierEliminationDivModTodos.java +++ b/trunk/source/Library-ModelCheckerUtilsTest/src/de/uni_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 (heizmann@informatik.uni-freiburg.de) * */ +// These tests are work in progress and should not run as regression tests. +@Category(NoRegression.class) public class QuantifierEliminationDivModTodos { /**