From a0a22c7146b3fb0b16f6986b69c75fa6a52196bb Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 21 Oct 2021 11:02:21 +0100 Subject: Serialise and silence output in tests --- build.sbt | 7 +++++++ src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 1 - src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 4 +++- src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala | 4 +++- 4 files changed, 13 insertions(+), 3 deletions(-) diff --git a/build.sbt b/build.sbt index 0603da9..7ea29a9 100644 --- a/build.sbt +++ b/build.sbt @@ -41,6 +41,13 @@ lazy val root = (project in file(".")) ) ) +/** Execute all tests sequentially + * + * This is not ideal but it is an easy way to avoid bad interactions + * with RDFox. + */ +parallelExecution in Test := false + /** Exclude RDFox from the building process * * @see https://github.com/sbt/sbt-assembly#excluding-jars-and-files diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala index 2f48798..505937b 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala @@ -271,7 +271,6 @@ trait RDFoxConverter { } val head = convert(a.getSuperProperty, term, term1, suffix)(fresh) val rule = Rule.create(head, body) - println(rule) ResultR(List(rule)) } diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala index 54fcf64..69363ff 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala @@ -35,10 +35,12 @@ import uk.ac.ox.cs.rsacomb.approximation.Lowerbound import uk.ac.ox.cs.rsacomb.ontology.Ontology import uk.ac.ox.cs.rsacomb.converter.{SkolemStrategy, NoSkolem} import uk.ac.ox.cs.rsacomb.suffix.Empty -import uk.ac.ox.cs.rsacomb.util.{RDFoxUtil, RSA} +import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil, RSA} object Ontology1_CanonicalModelSpec { + Logger.level = Logger.QUIET + /* Renderer to display OWL Axioms with DL syntax*/ val renderer = new DLSyntaxObjectRenderer() diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala index abede60..5872de1 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala @@ -7,10 +7,12 @@ import org.scalatest.tagobjects.Slow import uk.ac.ox.cs.rsacomb.ontology.Ontology import uk.ac.ox.cs.rsacomb.approximation.Upperbound import uk.ac.ox.cs.rsacomb.converter.Normalizer -import uk.ac.ox.cs.rsacomb.util.RDFoxUtil +import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil} class LUBM extends AnyFunSpec with Matchers { + Logger.level = Logger.QUIET + private val test = os.pwd / "tests" / "lubm" /* Approximation algorithms */ -- cgit v1.2.3