aboutsummaryrefslogtreecommitdiff
path: root/test/resources/LightTests.xml
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-05-19 18:22:26 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-05-19 18:22:26 +0100
commit612729386b645b120f8397a007cd8421986af0ad (patch)
treef5d15c839092c1dd65e951aa98f4256bfa391a0b /test/resources/LightTests.xml
parent5d54af2638a53721b414a41356a93686a9616272 (diff)
downloadACQuA-612729386b645b120f8397a007cd8421986af0ad.tar.gz
ACQuA-612729386b645b120f8397a007cd8421986af0ad.zip
Changes in the upper store querying (mainly in MyQueryReasoner).
Diffstat (limited to 'test/resources/LightTests.xml')
-rw-r--r--test/resources/LightTests.xml1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml
index dcac0dd..d8691d7 100644
--- a/test/resources/LightTests.xml
+++ b/test/resources/LightTests.xml
@@ -12,6 +12,7 @@
12 <classes> 12 <classes>
13 <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/> 13 <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>
14 <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/> 14 <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>
15 <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>-->
15 </classes> 16 </classes>
16 </test> 17 </test>
17</suite> \ No newline at end of file 18</suite> \ No newline at end of file