diff --git a/src/fr/test/test.java b/src/fr/test/test.java index 36b5cf7..45937d0 100644 --- a/src/fr/test/test.java +++ b/src/fr/test/test.java @@ -131,23 +131,28 @@ public class test { } /* - * A <-> B - * if A -> B then B -> A + * if A require B + * then A is incompatible with all incompatible of B */ @Test - public void test_Incompatibilities_Complex_5(){ + public void test_Require_Incompatibilities_Complex_5(){ assertTrue(cm.getIncompatibilities(XS).contains(EG100)); System.out.println("size XS incompatibilities : " + cm.getIncompatibilities(XS).size()); assertTrue(cm.getIncompatibilities(XS).contains(TM5)); } + /* + * Require Require Require * if A -> B && B -> C then A -> C */ @Test public void test_Incompatibilities_Complex_7(){ - - assertTrue(cm.getIncompatibilities(XS).contains(IS)); + cm.addRequirements(TC120, Set.of(XC)); + System.out.println("TC120 requirment size : " + cm.getRequirements(TC120).contains(XC)); + assertTrue(cm.getRequirements(TC120).contains(XC)); + assertTrue(cm.getRequirements(EH120).contains(XC)); + cm.removeRequirement(TC120, XC); } @Test