From b0148d89a76b8fcbeb2e021442842e4e89690ef3 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 4 Jun 2015 18:27:28 +0100 Subject: Fixed terms' depth count in SkolemTermsManager (it was always zero). --- test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/uk/ac/ox/cs/pagoda/global_tests/TestPagodaFLY.java') 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; public class TestPagodaFLY { - @Test(groups = {"light"}) + // @Test(groups = {"light"}) public void answersCorrectness_withGJFC() throws IOException { String ontoDir = TestUtil.getConfig().getProperty("ontoDir"); Path answers = Paths.get(File.createTempFile("answers", ".json").getAbsolutePath()); -- cgit v1.2.3