diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-07-08 18:53:00 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-07-08 18:53:00 +0100 |
| commit | 8241a535a55508b6c504f4f0b426612fe95d15a5 (patch) | |
| tree | 720a6572bbdf303b9ddfe69dd461b6640b36e6a0 /test/resources | |
| parent | 77dd8849f8e79d324c8e12cd699912f284a8fdba (diff) | |
| download | ACQuA-8241a535a55508b6c504f4f0b426612fe95d15a5.tar.gz ACQuA-8241a535a55508b6c504f4f0b426612fe95d15a5.zip | |
Internalisation: added condition for existential variables (classes HermitChecker and QueryGraph).
Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
Diffstat (limited to 'test/resources')
| -rw-r--r-- | test/resources/MainTests.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/resources/MainTests.xml b/test/resources/MainTests.xml index cfe6184..db8d977 100644 --- a/test/resources/MainTests.xml +++ b/test/resources/MainTests.xml | |||
| @@ -5,17 +5,17 @@ | |||
| 5 | <test name="main"> | 5 | <test name="main"> |
| 6 | <groups> | 6 | <groups> |
| 7 | <run> | 7 | <run> |
| 8 | <!--<include name="correctness"/>--> | 8 | <include name="correctness"/> |
| 9 | <!--<include name="light"/>--> | 9 | <!--<include name="light"/>--> |
| 10 | <!--<include name="justExecute"/>--> | 10 | <!--<include name="justExecute"/>--> |
| 11 | <!--<!–<include name="heavy"/>–>--> | 11 | <!--<!–<include name="heavy"/>–>--> |
| 12 | <include name="nonOriginal"/> | 12 | <!--<include name="nonOriginal"/>--> |
| 13 | </run> | 13 | </run> |
| 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"/>--> |