From fc93209a64df426d8b39a13e872cff2c91862c38 Mon Sep 17 00:00:00 2001
From: Federico Ulliana <ulliana@lirmm.fr>
Date: Fri, 21 Mar 2025 11:17:31 +0100
Subject: [PATCH] updated test
---
.../KBSupportExplainerWithLinearTrackerAndSat4JTest.java | 2 --
1 file changed, 2 deletions(-)
diff --git a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri_s4j/KBSupportExplainerWithLinearTrackerAndSat4JTest.java b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri_s4j/KBSupportExplainerWithLinearTrackerAndSat4JTest.java
index 4814cd087..25c9da75a 100644
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri_s4j/KBSupportExplainerWithLinearTrackerAndSat4JTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri_s4j/KBSupportExplainerWithLinearTrackerAndSat4JTest.java
@@ -110,8 +110,6 @@ public class KBSupportExplainerWithLinearTrackerAndSat4JTest {
Set<KnowledgeBase> explanations = explainer.getAllExplanations(query);
KnowledgeBase expectedExpl = createKnowledgeBase(Set.of(TestData.pa),
- // there is no rule in the explanation
- // Set.of(TestData.r12_px_px)
Set.of()
);
--
GitLab