let test_resolution () =
print_string "\n################################################################################";
print_string "\n## Tests : résolution de puzzle ! Projet Puzzle. Lilian BESSON (c) 2012 ##";
print_string "\n################################################################################\n";
print_string "\n\tCombien voulez-vous faire d'essais ? Nb=";
let nombre = read_int () in
print_string "\n\tCombien voulez-vous de couleurs différents ? c=";
let my_c = read_int () in
print_string "\n\tCombien voulez-vous de colonnes ? m=";
let my_m = read_int () in
print_string "\n\tCombien voulez-vous de lignes ? n=";
let my_n = read_int () in
print_string "\n\tLes tests vont commencer.";
for k = 1 to nombre do
print_string ("\n\t\tTest numéro "^(string_of_int k)^".");
let instance_courante = (creer_instance_random ~m:my_m ~n:my_n ~c:my_c ()) in
print_string "\n\t\t Instance aléatoire crée :\n";
print_instance instance_courante;
ecriture_instance ~i:instance_courante ~file:("test_resolution_"^(string_of_int k)^".instance");
print_string "\n\t\t Résolution en cour ...";
(try (
let plateau_courant = (resoud_naivement instance_courante) in
print_plateau plateau_courant;
ecriture_plateau ~p:plateau_courant ~file:("test_resolution_"^(string_of_int k)^".plateau");
()
) with
|Aucune_solution -> print_string "\n\t\t/!/ \tErreur Aucune solution !\n";
|Mauvais_tableau -> print_string "\n\t\t/!/ \tErreur Mauvais tableau !\n";
|Erreur_compatibilite_h(_,_) -> print_string "\n\t\t/!/ \tErreur compatibilite h !\n";
|Erreur_compatibilite_v(_,_) -> print_string "\n\t\t/!/ \tErreur compatibilite v !\n";);
print_string "\n\t\t Instance qu'on voulait résoudre :\n";
print_instance instance_courante;
print_string "\n\t\t Voulez-vous continuer ?[O/n]";
if (read_line ()) = "n" then raise Interuption_clavier;
done;
print_string "\nLes test sont finis.";
print_string "\n################################################################################";
print_string "\n## Tests : résolution de puzzle ! Projet Puzzle. Lilian BESSON (c) 2012 ##";
print_string "\n################################################################################\n"
