diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 2 |
1 files changed, 1 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 0d18e66..4f8d352 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | |||
| @@ -158,7 +158,7 @@ class Ontology1_CanonicalModelSpec | |||
| 158 | 158 | ||
| 159 | renderer.render( | 159 | renderer.render( |
| 160 | AsomeValuesFromSiC | 160 | AsomeValuesFromSiC |
| 161 | ) should "produce 1 rule" in { | 161 | ) should "produce 1 rule" ignore { |
| 162 | val term = Variable.create("X") | 162 | val term = Variable.create("X") |
| 163 | val unsafe = ontology.unsafeRoles | 163 | val unsafe = ontology.unsafeRoles |
| 164 | val (facts, rules) = | 164 | val (facts, rules) = |