diff options
Diffstat (limited to 'test/resources/LightTests.xml')
| -rw-r--r-- | test/resources/LightTests.xml | 1 |
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> |
