Outils pour utilisateurs

Outils du site


profgra:tests:exemples_testables

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
profgra:tests:exemples_testables [2014/12/16 22:44]
admin Affichage des tests de Double
profgra:tests:exemples_testables [2015/08/30 10:57] (Version actuelle)
admin MAJ vers v0.4
Ligne 1: Ligne 1:
-**Attention** :​ Ce programme **ne** fonctionne **pas** encore en version web (ni dans aucune version publiée en fait). 
- 
 (MicroAlg "​ex_testables"​) (MicroAlg "​ex_testables"​)
 (Definir (Double x) (Definir (Double x)
- "​Retourne le double du paramètre `x`."​ +    ​"​Retourne le double du paramètre `x`."​ 
- "​Profgra"​ +    "​Profgra"​ 
- ​(Retourner (* 2 x))+    (Retourner (* 2 x))
 ) )
 (!!! "La commande suivante «attache» à `Double` une liste d’exemples."​) (!!! "La commande suivante «attache» à `Double` une liste d’exemples."​)
 (!!! "Cette liste contient des appels et les retours correspondants."​) (!!! "Cette liste contient des appels et les retours correspondants."​)
 +(!!! "Vous êtes invitée à «casser» les tests, juste pour voir..."​)
 (Exemples_de Double (Exemples_de Double
-  ​(Liste +    ​(Liste 
-    (? 1) 2 +        (? 1) 2 
-    (? 2) 4 +        (? 2) 4 
-    (? 3) 6 +        (? 3) 6 
-  )+    )
 ) )
 +(Afficher "Les exemples de `Double` sont :"​)
 (Afficher (Exemples_de Double)) (Afficher (Exemples_de Double))
-(!!! "La commande suivante vérifie ​que la commande `Double` respecte les exemples."​)+(!!! "Vérifions ​que la commande `Double` respecte les exemples."​)
 (Tester Double) (Tester Double)
 +(Afficher "​Voilà,​ c’est testé."​)
 +
 +(!!! "​Attention,​ utilisation avancée !"​)
 +(!!! "Une commande peut récupérer les exemples d’une autre commande."​)
 +(Exemples_de Plus_un (Exemples_de Double))
 +(Afficher "Les exemples de `Plus_un` sont :"​)
 +(Afficher (Exemples_de Plus_un))
 (/MicroAlg) (/MicroAlg)
profgra/tests/exemples_testables.1418766281.txt.gz · Dernière modification: 2014/12/16 22:44 par admin