From 8241a535a55508b6c504f4f0b426612fe95d15a5 Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Wed, 8 Jul 2015 18:53:00 +0100
Subject: Internalisation: added condition for existential variables (classes
 HermitChecker and QueryGraph). Answer dependencies: found bug, trying to
 solve; excluding dependency analysis solve the problem.

---
 test/resources/MainTests.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'test/resources')

diff --git a/test/resources/MainTests.xml b/test/resources/MainTests.xml
index cfe6184..db8d977 100644
--- a/test/resources/MainTests.xml
+++ b/test/resources/MainTests.xml
@@ -5,17 +5,17 @@
     <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.TestPagodaUOBM"/>-->
+            <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.SkolemisationTests"/>-->
-- 
cgit v1.2.3