diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-08-14 19:21:26 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-08-14 19:21:26 +0100 |
| commit | ae9a6bad58019ef18657568e58f49459fbadc49c (patch) | |
| tree | 104d92748f150dc74c9a0f6d19f328357903857e /test/resources | |
| parent | 1bfe7e876c16adf73a4effdbe80431c1822bbe93 (diff) | |
| download | ACQuA-ae9a6bad58019ef18657568e58f49459fbadc49c.tar.gz ACQuA-ae9a6bad58019ef18657568e58f49459fbadc49c.zip | |
Incremental Skolemised store (not working).
Diffstat (limited to 'test/resources')
| -rw-r--r-- | test/resources/MainTests.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/resources/MainTests.xml b/test/resources/MainTests.xml index c0cac4f..ec299b5 100644 --- a/test/resources/MainTests.xml +++ b/test/resources/MainTests.xml | |||
| @@ -14,10 +14,10 @@ | |||
| 14 | </groups> | 14 | </groups> |
| 15 | <classes> | 15 | <classes> |
| 16 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaReactome"/>--> | 16 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaReactome"/>--> |
| 17 | <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/> | 17 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaUOBM"/>--> |
| 18 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>--> | 18 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaLUBM"/>--> |
| 19 | <!--Fly does not terminate: query-5 looks really hard--> | 19 | <!--Fly does not terminate: query-5 looks really hard--> |
| 20 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>--> | 20 | <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/> |
| 21 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.SkolemisationTests"/>--> | 21 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.SkolemisationTests"/>--> |
| 22 | <!--<class name="uk.ac.ox.cs.pagoda.util.SimpleProgressBarTester" />--> | 22 | <!--<class name="uk.ac.ox.cs.pagoda.util.SimpleProgressBarTester" />--> |
| 23 | </classes> | 23 | </classes> |