ENSEEIHT/projet-programmation-imperative
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

meilleurs tests

Browse source 
git-svn-id: http://cregut.svn.enseeiht.fr/2020/1sn/pim/projets/GH-05@213638 e13453a9-b01f-0410-a051-f404c4f0c485
This commit is contained in:
lfainsin 2021-01-22 15:04:09 +00:00
parent 9b63ae9ba3
commit 50aa021dd4
2 changed files with 46 additions and 66 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/pagerank.adb
View file

@ -19,7 +19,7 @@ procedure pageRank is
INFO_help: Exception;
-- définition du type T_Reel
Type T_Reel is digits 18;
Type T_Reel is digits 6;
-- on utilise le module générique Float_IO pour pouvoir afficher T_Reel directement
package Text_T_Reel is
new Ada.Text_IO.Float_IO(Num => T_Reel);
@ -231,7 +231,7 @@ begin
pi := pi * G;
String'Write(Ada.Text_IO.Text_Streams.Stream(stdout),
ASCII.CR & "ite:" & Integer'Image(i) & " /" & Integer'Image(ite_max));
end loop; new_line;
end loop;
-- new_line;
-- put_line("final pi:");
@ -262,8 +262,6 @@ begin
put("closed "); put(To_String(filename & ".net")); new_line;
new_line;
new_line;
-- on applique l'algorithme itératif
for i in 1..ite_max loop
pi := calcul(pi, G, alpha);

106
test_pagerank.bash
View file

@ -32,89 +32,71 @@ build/pagerank
echo "$(tput setaf 2)command: build/pagerank -i 100$(tput setaf 7)"
build/pagerank -i 100
echo "$(tput setaf 2)command: build/pagerank fichiers_test/Exemple_sujet/exemple_sujet.net --naif$(tput setaf 7)"
build/pagerank fichiers_test/Exemple_sujet/exemple_sujet.net --naif
echo
echo "$(tput setaf 2)command: build/pagerank fichiers_test/Exemple_sujet/exemple_sujet.net -n$(tput setaf 7)"
build/pagerank fichiers_test/Exemple_sujet/exemple_sujet.net -n
echo
cmp --silent \
fichiers_test/Exemple_sujet/exemple_sujet_GH05.ord \
fichiers_test/Exemple_sujet/exemple_sujet.ord \
|| echo "$(tput setaf 1)exemple_sujet .ord files are different$(tput setaf 7)"
cmp --silent \
fichiers_test/Exemple_sujet/exemple_sujet_GH05.p \
fichiers_test/Exemple_sujet/exemple_sujet_P_6.p \
|| echo "$(tput setaf 1)exemple_sujet .p files are different$(tput setaf 7)"
time build/pagerank fichiers_test/Exemple_sujet/exemple_sujet.net -n
echo "$(tput setaf 4)"
wdiff -s fichiers_test/Exemple_sujet/exemple_sujet_GH05.ord fichiers_test/Exemple_sujet/exemple_sujet.ord | tail -n 2
echo
wdiff -s fichiers_test/Exemple_sujet/exemple_sujet_GH05.p fichiers_test/Exemple_sujet/exemple_sujet_P_6.p | tail -n 2
echo "$(tput setaf 7)"
echo "$(tput setaf 2)command: build/pagerank fichiers_test/Worm/worm.net -n$(tput setaf 7)"
build/pagerank fichiers_test/Worm/worm.net -n
echo
cmp --silent \
fichiers_test/Worm/worm_GH05.ord \
fichiers_test/Worm/worm.ord \
|| echo "$(tput setaf 1)worm .ord files are different$(tput setaf 7)"
cmp --silent \
fichiers_test/Worm/worm_GH05.p \
fichiers_test/Worm/worm_P_6.p \
|| echo "$(tput setaf 1)worm .p files are different$(tput setaf 7)"
time build/pagerank fichiers_test/Worm/worm.net -n
echo "$(tput setaf 4)"
wdiff -s fichiers_test/Worm/worm_GH05.ord fichiers_test/Worm/worm.ord | tail -n 2
echo
wdiff -s fichiers_test/Worm/worm_GH05.p fichiers_test/Worm/worm_P_6.p | tail -n 2
echo "$(tput setaf 7)"
echo "$(tput setaf 2)command: build/pagerank fichiers_test/Brainlinks/brainlinks.net -n$(tput setaf 7)"
build/pagerank fichiers_test/Brainlinks/brainlinks.net -n
echo
cmp --silent \
fichiers_test/Brainlinks/brainlinks_GH05.ord \
fichiers_test/Brainlinks/brainlinks.ord \
|| echo "$(tput setaf 1)brainlinks .ord files are different$(tput setaf 7)"
cmp --silent \
fichiers_test/Brainlinks/brainlinks_GH05.p \
fichiers_test/Brainlinks/brainlinks_P_6.p \
|| echo "$(tput setaf 1)brainlinks .p files are different$(tput setaf 7)"
time build/pagerank fichiers_test/Brainlinks/brainlinks.net -n
echo "$(tput setaf 4)"
wdiff -s fichiers_test/Brainlinks/brainlinks_GH05.ord fichiers_test/Brainlinks/brainlinks.ord | tail -n 2
echo
wdiff -s fichiers_test/Brainlinks/brainlinks_GH05.p fichiers_test/Brainlinks/brainlinks_P_6.p | tail -n 2
echo "$(tput setaf 7)"
echo "$(tput setaf 2)command: build/pagerank fichiers_test/Exemple_sujet/exemple_sujet.net$(tput setaf 7)"
build/pagerank fichiers_test/Exemple_sujet/exemple_sujet.net
echo
cmp --silent \
fichiers_test/Exemple_sujet/exemple_sujet_GH05.ord \
fichiers_test/Exemple_sujet/exemple_sujet.ord \
|| echo "$(tput setaf 1)exemple_sujet .ord files are different$(tput setaf 7)"
cmp --silent \
fichiers_test/Exemple_sujet/exemple_sujet_GH05.p \
fichiers_test/Exemple_sujet/exemple_sujet_P_6.p \
|| echo "$(tput setaf 1)exemple_sujet .p files are different$(tput setaf 7)"
time build/pagerank fichiers_test/Exemple_sujet/exemple_sujet.net
echo "$(tput setaf 4)"
wdiff -s fichiers_test/Exemple_sujet/exemple_sujet_GH05.ord fichiers_test/Exemple_sujet/exemple_sujet.ord | tail -n 2
echo
wdiff -s fichiers_test/Exemple_sujet/exemple_sujet_GH05.p fichiers_test/Exemple_sujet/exemple_sujet_P_6.p | tail -n 2
echo "$(tput setaf 7)"
echo "$(tput setaf 2)command: build/pagerank fichiers_test/Worm/worm.net$(tput setaf 7)"
build/pagerank fichiers_test/Worm/worm.net
echo
cmp --silent \
fichiers_test/Worm/worm_GH05.ord \
fichiers_test/Worm/worm.ord \
|| echo "$(tput setaf 1)worm .ord files are different$(tput setaf 7)"
cmp --silent \
fichiers_test/Worm/worm_GH05.p \
fichiers_test/Worm/worm_P_6.p \
|| echo "$(tput setaf 1)worm .p files are different$(tput setaf 7)"
time build/pagerank fichiers_test/Worm/worm.net
echo "$(tput setaf 4)"
wdiff -s fichiers_test/Worm/worm_GH05.ord fichiers_test/Worm/worm.ord | tail -n 2
echo
wdiff -s fichiers_test/Worm/worm_GH05.p fichiers_test/Worm/worm_P_6.p | tail -n 2
echo "$(tput setaf 7)"
echo "$(tput setaf 2)command: build/pagerank fichiers_test/Brainlinks/brainlinks.net$(tput setaf 7)"
build/pagerank fichiers_test/Brainlinks/brainlinks.net
echo
cmp --silent \
fichiers_test/Brainlinks/brainlinks_GH05.ord \
fichiers_test/Brainlinks/brainlinks.ord \
|| echo "$(tput setaf 1)brainlinks .ord files are different$(tput setaf 7)"
cmp --silent \
fichiers_test/Brainlinks/brainlinks_GH05.p \
fichiers_test/Brainlinks/brainlinks_P_6.p \
|| echo "$(tput setaf 1)brainlinks .p files are different$(tput setaf 7)"
time build/pagerank fichiers_test/Brainlinks/brainlinks.net
echo "$(tput setaf 4)"
wdiff -s fichiers_test/Brainlinks/brainlinks_GH05.ord fichiers_test/Brainlinks/brainlinks.ord | tail -n 2
echo
wdiff -s fichiers_test/Brainlinks/brainlinks_GH05.p fichiers_test/Brainlinks/brainlinks_P_6.p | tail -n 2
echo "$(tput setaf 7)"
# echo "$(tput setaf 2)command: build/pagerank fichiers_test/Linux26/Linux26.net$(tput setaf 7)"
# build/pagerank fichiers_test/Linux26/Linux26.net
# time build/pagerank fichiers_test/Linux26/Linux26.net
# echo
echo "$(tput setaf 2)TESTS OK$(tput setaf 7)"
echo "$(tput setaf 3)FIN DES TESTS$(tput setaf 7)"