diff options
| author | Federico Igne <git@federicoigne.com> | 2021-10-21 11:02:21 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-10-21 11:02:21 +0100 |
| commit | a0a22c7146b3fb0b16f6986b69c75fa6a52196bb (patch) | |
| tree | a68cee74e1e1994d6469d5fe1d1796ad6050ca8d /src/test/scala/uk | |
| parent | e3534ea4b8d76e9a22991ec806ab3acd6bae0fea (diff) | |
| download | RSAComb-a0a22c7146b3fb0b16f6986b69c75fa6a52196bb.tar.gz RSAComb-a0a22c7146b3fb0b16f6986b69c75fa6a52196bb.zip | |
Serialise and silence output in tests
Diffstat (limited to 'src/test/scala/uk')
| -rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 4 | ||||
| -rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/functional/Functional.scala | 4 |
2 files changed, 6 insertions, 2 deletions
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 | |||
| 35 | import uk.ac.ox.cs.rsacomb.ontology.Ontology | 35 | import uk.ac.ox.cs.rsacomb.ontology.Ontology |
| 36 | import uk.ac.ox.cs.rsacomb.converter.{SkolemStrategy, NoSkolem} | 36 | import uk.ac.ox.cs.rsacomb.converter.{SkolemStrategy, NoSkolem} |
| 37 | import uk.ac.ox.cs.rsacomb.suffix.Empty | 37 | import uk.ac.ox.cs.rsacomb.suffix.Empty |
| 38 | import uk.ac.ox.cs.rsacomb.util.{RDFoxUtil, RSA} | 38 | import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil, RSA} |
| 39 | 39 | ||
| 40 | object Ontology1_CanonicalModelSpec { | 40 | object Ontology1_CanonicalModelSpec { |
| 41 | 41 | ||
| 42 | Logger.level = Logger.QUIET | ||
| 43 | |||
| 42 | /* Renderer to display OWL Axioms with DL syntax*/ | 44 | /* Renderer to display OWL Axioms with DL syntax*/ |
| 43 | val renderer = new DLSyntaxObjectRenderer() | 45 | val renderer = new DLSyntaxObjectRenderer() |
| 44 | 46 | ||
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 | |||
| 7 | import uk.ac.ox.cs.rsacomb.ontology.Ontology | 7 | import uk.ac.ox.cs.rsacomb.ontology.Ontology |
| 8 | import uk.ac.ox.cs.rsacomb.approximation.Upperbound | 8 | import uk.ac.ox.cs.rsacomb.approximation.Upperbound |
| 9 | import uk.ac.ox.cs.rsacomb.converter.Normalizer | 9 | import uk.ac.ox.cs.rsacomb.converter.Normalizer |
| 10 | import uk.ac.ox.cs.rsacomb.util.RDFoxUtil | 10 | import uk.ac.ox.cs.rsacomb.util.{Logger, RDFoxUtil} |
| 11 | 11 | ||
| 12 | class LUBM extends AnyFunSpec with Matchers { | 12 | class LUBM extends AnyFunSpec with Matchers { |
| 13 | 13 | ||
| 14 | Logger.level = Logger.QUIET | ||
| 15 | |||
| 14 | private val test = os.pwd / "tests" / "lubm" | 16 | private val test = os.pwd / "tests" / "lubm" |
| 15 | 17 | ||
| 16 | /* Approximation algorithms */ | 18 | /* Approximation algorithms */ |
