Utiliser une constante dans une propriété exprimée dans un Safety Pragma
Bonjour,
J'envoie par courriel séparé à Prof. Apvrille, un exemple où j'aimerais utiliser une constante dans une propriété exprimée dans un Safety Pragma.
Cordialement
Pierre de Saqui-Sannes
ISAE-SUPAERO, Toulouse, France
Submitted by external user pdss@isae-supaero.fr