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

---
 src/fr/test/test.java | 24 +++++++++++++++++-------
 1 file changed, 17 insertions(+), 7 deletions(-)

diff --git a/src/fr/test/test.java b/src/fr/test/test.java
index cdf671f..b915a7c 100644
--- a/src/fr/test/test.java
+++ b/src/fr/test/test.java
@@ -117,16 +117,26 @@ public class test {
         assertTrue(cm.getRequirements(EH120).contains(TC120));
     }
 
+
+
     /*
-     * if require only one Transmission --> all other is incompatible
+     * A <-> B
+     * if A -> B then B -> A
      */
     @Test
-    public void test_Incompatibilities_Complex_4(){
-        for(int i = 0; i<listTr.length; i++){
-            if(listTr[i]!=TC120){
-                assertTrue(cm.getIncompatibilities(EH120).contains(listTr[i]));
-            }
-        }
+    public void test_Incompatibilities_Complex_5(){
+        assertTrue(cm.getIncompatibilities(XS).contains(EG100));
+        System.out.println(cm.getIncompatibilities(XS).size());
+        assertTrue(cm.getIncompatibilities(XS).contains(TM5));
+    }
+
+    /*
+     * if A -> B && B -> C then A -> C
+     */
+    @Test
+    public void test_Incompatibilities_Complex_7(){
+
+        assertTrue(cm.getIncompatibilities(XS).contains(IS));
     }
 
     @Test