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/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | |
parent | e3534ea4b8d76e9a22991ec806ab3acd6bae0fea (diff) | |
download | RSAComb-a0a22c7146b3fb0b16f6986b69c75fa6a52196bb.tar.gz RSAComb-a0a22c7146b3fb0b16f6986b69c75fa6a52196bb.zip |
Serialise and silence output in tests
Diffstat (limited to 'src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala')
-rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 4 |
1 files changed, 3 insertions, 1 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 | ||