SVL - TP3
=========

Thomas PORCARO
Guillaume LIBERSAT

Problème avec JML :
Il semble y avoir un problème avec l'héritage et JML. Quand nous
utilisons le "requires \same;", les post-conditions exprimées dans la
classe fille ne sont pas prises en compte.
Quand on génère la documentation, il indique pourtant qu'elles
existent.

Si on supprime le "requires \same;", cette fois ci, les conditions de
la classe fille sont bien utilisées, mais forcément, pas celles de
l'interface.

Plusieurs groupes ont le problème, nous avons cherché mais nous avons
été incapables de résoudre le problème.