diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 18:27:28 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-06-04 18:27:28 +0100 |
| commit | b0148d89a76b8fcbeb2e021442842e4e89690ef3 (patch) | |
| tree | 5fa660dabd4b009c114c522fffd9aaed39a9adde /test/resources | |
| parent | 51cfc39903ae53cbcaba9a9f5c69cac08ae63fa7 (diff) | |
| download | ACQuA-b0148d89a76b8fcbeb2e021442842e4e89690ef3.tar.gz ACQuA-b0148d89a76b8fcbeb2e021442842e4e89690ef3.zip | |
Fixed terms' depth count in SkolemTermsManager (it was always zero).
Diffstat (limited to 'test/resources')
| -rw-r--r-- | test/resources/LightTests.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/resources/LightTests.xml b/test/resources/LightTests.xml index 859e3fa..e260c25 100644 --- a/test/resources/LightTests.xml +++ b/test/resources/LightTests.xml | |||
| @@ -10,10 +10,10 @@ | |||
| 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 | <!--Fly does not terminate: query-5 looks really hard--> | 15 | <!--Fly does not terminate: query-5 looks really hard--> |
| 16 | <class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/> | 16 | <!--<class name="uk.ac.ox.cs.pagoda.global_tests.TestPagodaFLY"/>--> |
| 17 | </classes> | 17 | </classes> |
| 18 | </test> | 18 | </test> |
| 19 | </suite> \ No newline at end of file | 19 | </suite> \ No newline at end of file |