Compare revisions

0955fe49 · 0955fe49 · 0955fe49 · 0955fe49 · 0955fe49 · 0955fe49
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/chasingAndTracing/RELTracerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/chasingAndTracing/RELTracerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/explainer/KBSupportExplainer.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/explainer/KBSupportExplainer.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/IncrementalGRIExplainerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/IncrementalGRIExplainerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_marco/FactSupportExplainerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_marco/FactSupportExplainerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_marco/KBSupportExplainerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_marco/KBSupportExplainerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_marco/RuleSupportExplainerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_marco/RuleSupportExplainerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_s4j/FactSupportExplainerSat4JTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_s4j/FactSupportExplainerSat4JTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_s4j/KBSupportExplainerSat4JTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_s4j/KBSupportExplainerSat4JTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_s4j/RuleSupportExplainerSat4JTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/kb_gri_s4j/RuleSupportExplainerSat4JTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri/FactSupportExplainerWithLinearTrackerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri/FactSupportExplainerWithLinearTrackerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri/KBSupportExplainerWithLinearTrackerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri/KBSupportExplainerWithLinearTrackerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri/RuleSupportExplainerWithLinearTrackerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri/RuleSupportExplainerWithLinearTrackerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri/WhyProvenanceExplainerWithTrackerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri/WhyProvenanceExplainerWithTrackerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri_s4j/FactSupportExplainerWithLinearTrackerAndSat4JTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri_s4j/FactSupportExplainerWithLinearTrackerAndSat4JTest.java
--- 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
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri_s4j/RuleSupportExplainerWithLinearTrackerAndSat4JTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/explainer/tracker_gri_s4j/RuleSupportExplainerWithLinearTrackerAndSat4JTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/provenance/MowlOntologyTestProvenance.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/provenance/MowlOntologyTestProvenance.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/ruletransformation/StaticGRIRuleTransformerTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/ruletransformation/StaticGRIRuleTransformerTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/solvingViaGMUS/FactSupportKBGSATEncoderTest.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/unit_tests/solvingViaGMUS/FactSupportKBGSATEncoderTest.java
--- a/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/solvingViaGMUS/GMUSTranslator.java
+++ b/integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/solvingViaGMUS/GMUSTranslator.java
No results found