Lord Pascal Isak & Weber Loïc MIN1

Vous pouvez compiler en lançant la commande "make"

des fichiers bash sont fournis pour exécuter les test dans les dissiers fichiers_test_TP7, resultats_TP8 et programme_test_observateur.

pour le TP7 il suffit de lancer ./fichiers_test_TP7/testing.sh <nom_de_test> pour lancer un test sur tous les curiosity-test ou bien ./fichiers_test_TP7/lance_test_tous_les_programmes_sur_tout_les_curiosity.sh ou "make tests-TP7" pour lancer tous les test pour le TP8 soit vous lancer le script bash sois vous pouvez écrire "make resultat_TP8" pour le TP9(programme_test_observateur), il y a des test pour l'automate deamndé et des test pour l'automate que nous avons créé. vous pouvez soit lancer les sript bash soit écrire "make tests_obs1" ou "make tests_obs1"

vous pouvez lancer "make tests" pour effectuer les tests des TP 8 et 9