1La chaleur
1Répondre
GNATprove: "postcondition may fail" dans la fonction simple
1La chaleur
2Répondre
L'identifiant Ada et SPARK `State` est soit non déclaré, soit pas visible à ce stade.
1La chaleur
2Répondre
Instanciation d'un package au niveau de la bibliothèque dans SPARK Ada