From ba3596319c66109a9e720bff8a955761a98459cd Mon Sep 17 00:00:00 2001
From: trochas <thibaut.rochas@etudiant.univ-rennes1.fr>
Date: Thu, 24 Oct 2024 10:56:07 +0200
Subject: [PATCH] test en cours ...

---
 src/fr/test/test.java | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/src/fr/test/test.java b/src/fr/test/test.java
index b915a7c..36b5cf7 100644
--- a/src/fr/test/test.java
+++ b/src/fr/test/test.java
@@ -113,12 +113,23 @@ public class test {
     }
 
     @Test
-    public void test_1_Requirements_3(){
+    public void test_Requirements_3(){
         assertTrue(cm.getRequirements(EH120).contains(TC120));
     }
 
 
 
+    /*
+     * A <-> B
+     * if A -> B then B -> A
+     */
+    @Test
+    public void test_Incompatibilities_Complex_4(){
+        System.out.println("size EG100 incompatibilities : "+cm.getIncompatibilities(EG100).size());
+        assertTrue(cm.getIncompatibilities(EG100).contains(IS));
+        assertTrue(cm.getIncompatibilities(EG100).contains(XS));
+    }
+
     /*
      * A <-> B
      * if A -> B then B -> A
@@ -126,7 +137,7 @@ public class test {
     @Test
     public void test_Incompatibilities_Complex_5(){
         assertTrue(cm.getIncompatibilities(XS).contains(EG100));
-        System.out.println(cm.getIncompatibilities(XS).size());
+        System.out.println("size XS incompatibilities : " + cm.getIncompatibilities(XS).size());
         assertTrue(cm.getIncompatibilities(XS).contains(TM5));
     }