Fix bug in conflict set computation

1 files changed, 14 insertions, 1 deletions

diff --git a/src/test/scala/rsacomb/CanonicalModelSpec.scala b/src/test/scala/rsacomb/CanonicalModelSpec.scala
index c528328..c5f040d 100644
--- a/src/test/scala/rsacomb/CanonicalModelSpec.scala
+++ b/src/test/scala/rsacomb/CanonicalModelSpec.scala
@@ -5,7 +5,6 @@ import org.scalatest.LoneElement
 import org.scalatest.flatspec.AnyFlatSpec
 import org.scalatest.matchers.should.Matchers
 
-
 import org.semanticweb.owlapi.model._
 import uk.ac.manchester.cs.owl.owlapi._
 import org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxObjectRenderer
@@ -72,10 +71,24 @@ class Ontology1_CanonicalModelSpec
     ontology.unsafeRoles should not contain roleR
   }
 
+  it should "have 3 elements in its conflict set" in {
+    ontology.confl(roleR) should have size 3
+  }
+
   it should "contain S in its conflict set" in {
     ontology.confl(roleR) should contain(roleS)
   }
 
+  it should "contain T in its conflict set" in {
+    ontology.confl(roleR) should contain(roleT)
+  }
+
+  it should ("contain " + renderer.render(
+    roleR_inv
+  ) + " in its conflict set") in {
+    ontology.confl(roleR) should contain(roleR_inv)
+  }
+
   renderer.render(roleS) should "be safe" in {
     ontology.unsafeRoles should not contain roleS
   }