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

test en cours ...

Browse Source
This commit is contained in:
trochas
2024-10-24 10:51:00 +02:00
parent 0b511522bc
commit 51a24aa140
1 changed files with 17 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

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