troufflard
|
c4ec708caa
|
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 |
|
troufflard
|
619bf47a3b
|
nouvelle possibilite (fonctionnelle mais a ameliorer) : possibilite d interrompre la batterie en cours avec ctr+c sans alterer les repertoires de tests (grace a des modifs du script Perl/test.pl) voir doc doc_procedure_verification.pdf section 3 pour la procedure et section 6 pour le detail des modifs; nouvel affichage dans le rapport de test : temps de calcul de chaque test (et legere modif de l en-tete du rapport avec affichage du nom de la machine)
|
2015-11-25 09:00:06 +00:00 |
|
troufflard
|
f218763f50
|
modif de l en-tete des scripts .pl et .verif (voir section evolution des modifs dans catalogue_tests.pdf); correction d un petit bug dans 2 tests UTILITAIRES (consequence d un ancien conflit cvs)
|
2015-09-30 22:56:53 +00:00 |
|
troufflard
|
ed184599db
|
Premiere creation du nouveau projet de verification : retablissement de la batterie precedente, le script verifier_exeHZ a ete legerement modifie pour creer automtatiquement le repertoire Rapport si besoin, seul le script Perl/test.pl a radicalement change pour prendre en compte les divers scenarios de lancement de Herezh qui seront explicites dans la documentation, le repertoire Doc a ete cree pour accueillir la documentation
|
2015-04-14 19:36:00 +00:00 |
|