troufflard 85aa431472 a propos dernier commit : le script Perl/test.pl a ete modifie de maniere a permettre plusieurs types de verification pour un meme test. Desormais, un test peut etre l objet a la fois d une verif de .maple et d une verif par script .verif; actualisation de la doc doc_procedure_verification.pdf pour mentionner ce fait (voir evolution des mises a jour)		2016-10-12 08:09:31 +00:00
..
genere_catalogue_tests.pl	Creation du repertoire Tests_en_attente_debug/ dedie aux nouveaux tests en attente de debug; Modif en consequence des scripts verifier_exeHZ.pl, verifier_exeHZ.zsh, Perl/genere_catalogue_tests.pl et Perl/verif_existence_repertoire_test.pl de maniere a ce qu ils ne tiennent pas compte des tests presents dans ce repertoire; legere modif du script Perl/test.pl : desormais, les scripts de type .verif recoivent une 3eme argument (le nom du .info du test en cours); Actualisation de la documentation utilisateur	2016-09-07 15:02:58 +00:00
genere_rapport.pl	1) comparaison maple : maintenant les grandeurs sont arrondies a 1e-12 pres (pour gerer le cas de nombres tres petits. Par exemple : 1e-31 par rapport 1e-15 va generer un ecart relatif enorme, donc un ECHEC, ce qui n est pas logique); 2) petites corrections et ameliorations mineures (voir detail des modifs dans doc_procedure_verification.pdf section 6 2015-11-25(bis))	2015-11-25 14:39:29 +00:00
test.pl	a propos dernier commit : le script Perl/test.pl a ete modifie de maniere a permettre plusieurs types de verification pour un meme test. Desormais, un test peut etre l objet a la fois d une verif de .maple et d une verif par script .verif; actualisation de la doc doc_procedure_verification.pdf pour mentionner ce fait (voir evolution des mises a jour)	2016-10-12 08:09:31 +00:00
verif_existence_repertoire_test.pl	Creation du repertoire Tests_en_attente_debug/ dedie aux nouveaux tests en attente de debug; Modif en consequence des scripts verifier_exeHZ.pl, verifier_exeHZ.zsh, Perl/genere_catalogue_tests.pl et Perl/verif_existence_repertoire_test.pl de maniere a ce qu ils ne tiennent pas compte des tests presents dans ce repertoire; legere modif du script Perl/test.pl : desormais, les scripts de type .verif recoivent une 3eme argument (le nom du .info du test en cours); Actualisation de la documentation utilisateur	2016-09-07 15:02:58 +00:00