Wie schreibt man eine Spark-Nachbedingung für eine Funktion, die die Elemente eines Arrays summiert? (. Spark-2014, aber wenn mir jemand zeigt, wie es für einen früheren Spark tun soll ich in der Lage
Wie instanziiere ich ein Paket ohne Bibliotheksebene in SPARK Ada? Sagen, ich habe so etwas wie: subtype Die is Integer range 1..6;
package Random_Die
is
new Ada.Numerics.Discrete_Random(Die);