This website requires JavaScript.
Explore
Help
Sign In
rio
/
Verif_Herezh
Watch
2
Star
0
Fork
You've already forked Verif_Herezh
0
Code
Releases
Activity
e0229c254e
Verif_Herezh
/
Perl
History
troufflard
92ad8c8ba8
modif script Perl/test.pl : ajout de ./ devant le lancement de certaines commandes dans les appels system(); ajout de la section "Pre-requis" dans la doc utilisateur
2017-06-01 09:36:52 +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
modif script Perl/test.pl : ajout de ./ devant le lancement de certaines commandes dans les appels system(); ajout de la section "Pre-requis" dans la doc utilisateur
2017-06-01 09:36:52 +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