vuminh224/cartailor
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ajout de tests

Browse Source
This commit is contained in:
trochas
2024-10-24 11:49:58 +02:00
parent ba3596319c
commit 1a09eda6e7
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/fr/test/test.java
View File

@@ -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