fix: exclude quantum solver from anomaly tests

ProvideQ · Feb 10, 2025 · 839d935 · 839d935
1 parent 2dbb2af
commit 839d935
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/test/java/edu/kit/provideq/toolbox/api/FeatureModelAnomalySolversTest.java b/src/test/java/edu/kit/provideq/toolbox/api/FeatureModelAnomalySolversTest.java
@@ -10,6 +10,7 @@
 import edu.kit.provideq.toolbox.meta.ProblemSolver;
 import edu.kit.provideq.toolbox.meta.ProblemState;
 import edu.kit.provideq.toolbox.meta.ProblemType;
+import edu.kit.provideq.toolbox.sat.solvers.QrispExactGroverSolver;
 import edu.kit.provideq.toolbox.sat.solvers.QrispGroverSolver;
 import java.time.Duration;
 import java.util.stream.Stream;
@@ -56,6 +57,7 @@ <InputT, ResultT> Stream<Arguments> getArguments(
 
     var satSolver = satManager.getSolvers().stream()
         .filter(solver -> !(solver instanceof QrispGroverSolver))
+        .filter(solver -> !(solver instanceof QrispExactGroverSolver))
         .toList();
 
     return ApiTestHelper.getAllArgumentCombinations(featureModelManager, satSolver)