aboutsummaryrefslogtreecommitdiff
path: root/test/resources/LightTests.xml
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-06-03 15:21:30 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-06-03 15:21:30 +0100
commitb3b822d187a6402a39d30e471fe90a5dfad64312 (patch)
tree912e1914610c8cf6103b7b7aef07087ddd7eb62f /test/resources/LightTests.xml
parent691964863246bbf6ef9f72cc5e82c83df34f135a (diff)
downloadACQuA-b3b822d187a6402a39d30e471fe90a5dfad64312.tar.gz
ACQuA-b3b822d187a6402a39d30e471fe90a5dfad64312.zip
Before reintroducing extended queries.
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 d8691d7..92edb48 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 <!--Fly does not terminate: query-5 is really hard-->
15 <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>--> 16 <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>-->
16 </classes> 17 </classes>
17 </test> 18 </test>