alex-smtv / outils-formels-modelisation Goto Github PK

Rendu:

• commit: OK
• compile: OK

Tests:

• consommation des jetons d'une place: OK
• détection des réseaux non nornés: OK
• problème des philosophes non bloquant: OK
• problème des philosophes bloquant: OK

Questions:

• question 1: OK
• question 2: OK
• question 3: OK

Commentaires:

• Code bien commenté !

Note: 6

Rendu:

• commit: OK
• compile: OK

Tests:

• bonnes places et transitions créées: OK
• fonction de création de graphe de marquage: OK

Questions (exercice 4):

• question 1: OK
• question 2: OK
• question 3: OK

Commentaires:

• Code bien commenté !

Note: 6

Rendu:

• commit: OK
• compile: OK

Tests:

• traitement des réseaux bornés: OK
• traitement des réseaux non nornés (simples): OK
• traitement des réseaux non bornés (complexes): Erreur

Commentaires:

• Code bien commenté !

Note: 5

6

Code correct mais un peu complexe. Il y a beaucoup d'appels inutiles aux computed properties.

Note: 6