diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-02 15:40:29 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-02 15:40:29 +0100 |
| commit | 691964863246bbf6ef9f72cc5e82c83df34f135a (patch) | |
| tree | 98c9834f788ff320cabcfb29733890c5b40e024f /test | |
| parent | 4b7253559c290b6fdd1c4122830f153fda85dd62 (diff) | |
| download | ACQuA-691964863246bbf6ef9f72cc5e82c83df34f135a.tar.gz ACQuA-691964863246bbf6ef9f72cc5e82c83df34f135a.zip | |
Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).
Diffstat (limited to 'test')
| -rw-r--r-- | test/resources/LightTests.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml index ccafa25..d8691d7 100644 --- a/test/resources/LightTests.xml +++ b/test/resources/LightTests.xml | |||
| @@ -10,7 +10,7 @@ | |||
| 10 | </groups> | 10 | </groups> |
| 11 | 11 | ||
| 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 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>--> |
| 16 | </classes> | 16 | </classes> |