assert.ads

package Assert is

   --
   -- Cette action fait échouer tout le programme en affichant
   -- le message d'erreur si la condition est VRAIE.
   --
   -- Si la condition est fausse, il ne se passe rien.
   --
   procedure Failif (Cond : Boolean ; Message : String) ;

end Assert ;