Je veux écrire une fonction simple qui trouve le plus grand nombre dans un tableau entier donné. Voici les spécifications: package Maximum with SPARK_Mode is
type Vector is array(Integer range <
Comment instancier un package au niveau de la bibliothèque dans SPARK Ada? Dire que j'ai quelque chose comme: subtype Die is Integer range 1..6;
package Random_Die
is
new Ada.Numerics.Discrete_