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 B && B -> C then A -> C + */ + @Test + public void test_Incompatibilities_Complex_7(){ + + assertTrue(cm.getIncompatibilities(XS).contains(IS)); } @Test