Bug-fix for answer dependencies analysis: now it checks whether the endomorphism makes the first tuple identical to the second one.

1 files changed, 4 insertions, 4 deletions

diff --git a/test/resources/MainTests.xml b/test/resources/MainTests.xml
index db8d977..255b68e 100644
--- a/test/resources/MainTests.xml
+++ b/test/resources/MainTests.xml
@@ -5,19 +5,19 @@
     <test name="main">
         <groups>
             <run>
-                <include name="correctness"/>
+                <!--<include name="correctness"/>-->
                 <!--<include name="light"/>-->
                 <!--<include name="justExecute"/>-->
                 <!--&lt;!&ndash;<include name="heavy"/>&ndash;&gt;-->
-                <!--<include name="nonOriginal"/>-->
+                <include name="nonOriginal"/>
             </run>
         </groups>
         <classes>
             <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaReactome"/>-->
             <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>-->
-            <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>
+            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>-->
             <!--Fly does not terminate: query-5 looks really hard-->
-            <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>-->
+            <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>
             <!--<class name="uk.ac.ox.cs.pagoda.global_tests.SkolemisationTests"/>-->
             <!--<class name="uk.ac.ox.cs.pagoda.util.SimpleProgressBarTester" />-->
         </classes>