== TP Boulder Dash (CPS) ==

Auteurs: Maxime ANCELIN (2700986) et Mickaël MENU (3152367)
Date:    17 mai 2012



1) Pour lancer le jeu : ant run
Plusieurs cartes sont disponibles dans le répertoire "niveaux" à la racine du jeu.

2) Pour lancer le jeu avec les contrats branchés : ant crun
* Remarque : les performances du jeu lorsque les contrats sont branchés sont
très médiocres, en raison du nombre de tests effectués sur le terrain.

3) Pour lancer les objectifs de tests : ant test
Le rapport JUnit est alors écrit dans report.txt

4) Pour lancer les objectifs de tests avec les contrats : ant ctest
Le rapport JUnit est alors écrit dans report_with_contracts.txt

* Remarque : Le Contractor affiche dans la console certaines erreurs de
préconditions au lancement des tests avec contrats, mais c'est le comportement
attendu. En effet dans certains cas de test, on passe délibérément de mauvaises
valeurs en arguments pour vérifier que l'implémentation retourne une erreur.