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/uk/ac/ox/cs/pagoda/global_tests | |
| 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/uk/ac/ox/cs/pagoda/global_tests')
| -rw-r--r-- | test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java index 352bcba..4fdccf8 100644 --- a/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java +++ b/test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java | |||
| @@ -12,7 +12,7 @@ import java.nio.file.Paths; | |||
| 12 | 12 | ||
| 13 | public class TestPagodaFLY { | 13 | public class TestPagodaFLY { |
| 14 | 14 | ||
| 15 | @Test(groups = {"light"}) | 15 | // @Test(groups = {"light"}) |
| 16 | public void answersCorrectness_withGJFC() throws IOException { | 16 | public void answersCorrectness_withGJFC() throws IOException { |
| 17 | String ontoDir = TestUtil.getConfig().getProperty("ontoDir"); | 17 | String ontoDir = TestUtil.getConfig().getProperty("ontoDir"); |
| 18 | Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath()); | 18 | Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath()); |